sebina, you, services, bibliothèque, utilisateur

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

Delahaye, Jean-Paul

Cours en ligne 2011

Résumé

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.