8 relations: Coq (logiciel), Georges Gonthier, Liste d'élèves de l'École polytechnique, Michael Werner, Théorème des quatre couleurs, Wendelin Werner, Werner, 1966 en science.
Coq (logiciel)
Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe de l’Inria au sein du laboratoire du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).
Nouveau!!: Benjamin Werner et Coq (logiciel) · Voir plus »
Georges Gonthier
Georges Gonthier est un chercheur canadien en informatique, effectuant sa recherche en Grande-Bretagne et en France.
Nouveau!!: Benjamin Werner et Georges Gonthier · Voir plus »
Liste d'élèves de l'École polytechnique
Cet article dresse une liste de polytechniciens célèbres ou très connus, classée par promotion, et par ordre alphabétique à l'intérieur de chacune d’elles.
Nouveau!!: Benjamin Werner et Liste d'élèves de l'École polytechnique · Voir plus »
Michael Werner
Michael Werner est un historien français, né le à Fribourg-en-Brisgau (Allemagne).
Nouveau!!: Benjamin Werner et Michael Werner · Voir plus »
Théorème des quatre couleurs
Le théorème des quatre couleurs indique qu'il est possible, en n'utilisant que quatre couleurs différentes, de colorier n'importe quelle carte découpée en régions connexes, de sorte que deux régions adjacentes (ou limitrophes), c'est-à-dire ayant toute une frontière (et non simplement un point) en commun reçoivent toujours deux couleurs distinctes.
Nouveau!!: Benjamin Werner et Théorème des quatre couleurs · Voir plus »
Wendelin Werner
Wendelin Werner est un mathématicien français né le à Cologne en Allemagne, professeur de mathématiques à l'université de Cambridge et lauréat de la médaille Fields en 2006.
Nouveau!!: Benjamin Werner et Wendelin Werner · Voir plus »
Werner
Werner est un prénom allemand d'origine germanique.
Nouveau!!: Benjamin Werner et Werner · Voir plus »
1966 en science
Pas de description.
Nouveau!!: Benjamin Werner et 1966 en science · Voir plus »