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.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
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