Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Gratuit
Accès plus rapide que le navigateur!
 

Benjamin Werner

Indice Benjamin Werner

Benjamin Werner, né le à Munich, est un chercheur français en informatique.

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 »

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »