Du rêve à la réalité des preuves

Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant,grâce aux assistants de preuve,ils garantissent les démonstrations découvertes par les mathématiciens.

Mots-clés : assistant de preuve,preuve formelle,preuve de programme,logique mathématique,démonstration,complexité,fuscia
Type de document : texte,image,ressource interactive
Type de ressource : lecture,démonstration
Niveau : higher education
Publics visés : learner
Auteurs ou éditeurs : Jean-Paul Delahaye,Institut National de Recherche en Informatique et en Automatique / Interstices