Du rêve à la réalité des preuves
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.
inria Interstices : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01350203
Soumis le : vendredi 29 juillet 2016-17:44:44
Dernière modification le : vendredi 19 avril 2024-15:43:48