Utilisateur:ManiacParisien/Projets

À faire

• traduire : Language equation
• traduire : Maxime Crochemore
• traduire : Jean-Éric Pin ‎
• traduire : Mikołaj Bojańczyk (TheoreticalComputerScientist)
• traduire : Circuit complexity
• Les articles de Utilisateur:Koreller sont à franciser
• Maria Chudnovsky (revoir, et supprimer le côté pub).
• Suite k-régulière : compléter les définitions équivalentes, incorporer Bell
• Hugo van der Goes, à compléter avec la page anglaise, et le notes de Borchert
• Analyse LL (revoir)
• Automate d'arbre
• Automate synchronisé (http://igm.univ-mlv.fr/~beal/Recherche/Publications/unambiguousAutomata.pdf)
• Traduire Stift Backnang
• Regarder Patrick Dehornoy
• Regarder Fabrice Bethuel‎
• Regarder éventuellement Hélène Esnault
• Compléter Kit Fine et les autres Gödel Lecturer
• Répétition dans les mots, surtout depuis le nouveau résultat
• Compléter Costin Miereanu
• Abbaye Saint-Michel d'Anvers (en)
• Centralité : corriger le français du dernier ajout

Faits

• Anne Trinitaire, avec la page [1] et la page allemande
• traduire et compléter : Zoltán Ésik
• étoffer Michael Erhart
• Revoir suite automatique, pour y inclure les ensembles reconnaissables de nombres
• Marie-France Vignéras
• Ernst Gabor Strauss
• Lemme d'itération : ajouter Baader et Moura, Exchange Lemma etc, pris dans Dömösi
• Méthode du va-et-vient, par traduction de la page anglaise
• Théorème de Lyndon-Schützenberger
• Gertrude Blanch : orthographe (Utilisateur:Momoman7/Brouillon)
• Wielandt : infobox
• Revoir Roland Fraïssé (bio) pour ses élèves
• François Flückiger (étoffer avec la page anglaise)
• Traduire S. Barry Cooper pas fait, ne vaut pas
• Maître de la Passion de Karlsruhe depuis l'allemand
• Carlitz par Vers75
• George H. Mealy (étoffer avec la page anglaise)
• Traduire Local language (formal language)
• Fritz Steudtner (étoffer l'infobox)
• Liste des principales conférences d'informatique théorique
• Algorithme de minimisation de Hopcroft (créer séparé)
• Problème de la hauteur d'étoile (revoir)
• Forme normale de Greibach (revoir)
• Dérivée de Brzozowski (revoir)
• Monoïde syntaxique (revoir)
• juanelo turriano
• Lemme d'Ogden (revoir)
• Lemme de l'étoile
• Langage sans étoile
• Suite automatique (revoir)
• Robin Milner‎
• Hopcroft
• Traduire jeu d'Ehrenfeucht-Fraïssé
• Dima Grigoriev
• Grammaire ambigüe
• Mehlhorn
• Traduire jeu d'Ehrenfeucht-Fraïssé
• Boris Trakhtenbrot‎ : revoir l'infobox
• Pascual Jordan à refaire
• Tagung der Nobelpreisträger in Lindau
• Rosenwald
• Bible géante de Mayence
• Algorithme de minimisation de Brzozowski
• Prix Heineman (et Heineman)
• Algorithme de minimisation de Moore
• Traduire Hervé Jacquet
• Klarenaltar
• Compléter Corrado Böhm
• Infobox John Tate
• Traduire Andrzej Ehrenfeucht
• Carl Philipp Emanuel Bach
• Denis Comtet : Infobox
• Peter Kronheimer à compléter
• László Székelyhidi à compléter
• Regarder Frédéric Hélein
• Regarder Guy David (mathématicien)
• Regarder Emmanuel Candès
• Détailler Omer Reingold
• Regarder Georg Faber
• Regarder Pierre Degond
• Traduire Mathematische Zeitschrift
• Traduire Helmut Wielandt fait
• Regarder Whitfield Diffie
• Traduire Prix Marconi
• Traduire Gustavus Simmons
• Compléter traduction Johannes Sjöstrand Rien à dire
• Traduire Leiserson
• Compléter traduction Roger Wets
• Meister de Heiligen Sippe (der Ältere und der Jüngere)
• Compléter traduction Michael Rapoport
• Compléter traduction Michele Conforti
• Compléter traduction Nicolas Vieille
• Regarder Morphisme pour ajouter monoïde et demi-groupe
• Suite de de Bruijn (surtout vérifier ce Sawada)
• Algorithme du drapeau américain Ne vaut pas un clou
• Vasil A. Popov à regarder