Computer theorem proving in math
Résumé
We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003).
Carlos Simpson : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00000842
Soumis le : samedi 15 novembre 2003-23:41:04
Dernière modification le : lundi 11 mars 2024-15:10:03
Archivage à long terme le : lundi 29 mars 2010-17:08:17