Utilisateur:ManiacParisien/Projets
Apparence
À faire[modifier | modifier le code]
- 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[modifier | modifier le code]
Anne Trinitaire, avec la page [1] et la page allemandetraduire et compléter : Zoltán Ésikétoffer Michael ErhartRevoir suite automatique, pour y inclure les ensembles reconnaissables de nombresMarie-France VignérasErnst Gabor StraussLemme d'itération : ajouter Baader et Moura, Exchange Lemma etc, pris dans DömösiMéthode du va-et-vient, par traduction de la page anglaiseThéorème de Lyndon-SchützenbergerGertrude Blanch : orthographe (Utilisateur:Momoman7/Brouillon)Wielandt : infoboxRevoir Roland Fraïssé (bio) pour ses élèvesFrançois Flückiger (étoffer avec la page anglaise)Traduire S. Barry Cooperpas fait, ne vaut pasMaître de la Passion de Karlsruhe depuis l'allemandCarlitzpar Vers75George 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éoriqueAlgorithme 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 turrianoLemme d'Ogden (revoir)Lemme de l'étoileLangage sans étoileSuite automatique (revoir)Robin MilnerHopcroftTraduire jeu d'Ehrenfeucht-FraïsséDima GrigorievGrammaire ambigüeMehlhornTraduire jeu d'Ehrenfeucht-FraïsséBoris Trakhtenbrot : revoir l'infoboxPascual Jordan à refaireTagung der Nobelpreisträger in LindauRosenwaldBible géante de MayenceAlgorithme de minimisation de BrzozowskiPrix Heineman (et Heineman)Algorithme de minimisation de MooreTraduire Hervé JacquetKlarenaltarCompléter Corrado BöhmInfobox John TateTraduire Andrzej EhrenfeuchtCarl Philipp Emanuel BachDenis Comtet : InfoboxPeter Kronheimer à compléterLászló Székelyhidi à compléterRegarder Frédéric HéleinRegarder Guy David (mathématicien)Regarder Emmanuel CandèsDétailler Omer ReingoldRegarder Georg FaberRegarder Pierre DegondTraduire Mathematische ZeitschriftTraduire Helmut WielandtfaitRegarder Whitfield DiffieTraduire Prix MarconiTraduire Gustavus SimmonsCompléter traduction Johannes SjöstrandRien à direTraduire LeisersonCompléter traduction Roger WetsMeister de Heiligen Sippe (der Ältere und der Jüngere)Compléter traduction Michael RapoportCompléter traduction Michele ConfortiCompléter traduction Nicolas VieilleRegarder Morphisme pour ajouter monoïde et demi-groupeSuite de de Bruijn (surtout vérifier ce Sawada)Algorithme du drapeau américainNe vaut pas un clouVasil A. Popov à regarder