Mechanical Mathematicians
Résumé
A new generation of automatic theorem provers eliminate bugs in software and mathematics.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Article Dans Une Revue
Communications of the ACM
Année : 2023
Jasmin Blanchette : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04298600
Soumis le : mardi 21 novembre 2023-17:37:20
Dernière modification le : lundi 2 décembre 2024-17:46:02
Citer
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirović, et al.. Mechanical Mathematicians. Communications of the ACM, 2023, 66 (4), pp.80-90. ⟨10.1145/3557998⟩. ⟨hal-04298600⟩
34
Consultations
31
Téléchargements