Prix Herbrand
distinction mathématique / De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Herbrand.
Le Prix Herbrand est une distinction scientifique de la Conference on Automated Deduction (CADE). Il est remis chaque année depuis 1992 et il est doté de 1 000 dollars. Il récompense un scientifique pour une contribution exceptionnelle dans le domaine de la preuve assistée par ordinateur. Le prix est nommé d'après le logicien et mathématicien français Jacques Herbrand et c'est le plus prestigieux des prix de la recherche internationale dans cette discipline.
Faits en bref Fondation, Type ...
Prix Herbrand
Fondation |
---|
Type | |
---|---|
Domaine d'activité |
Site web |
---|
Fermer
Ne pas confondre avec le Grand Prix Jacques Herbrand décerné par l'Académie des sciences.