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)