Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
section 1 sur 1
résultats 1 à 1
Canal-u.fr
Proofs assistants : from symbolic logic to real mathematics  Droits d'accès : non autorisé
Description : Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles? proof of Fermat?s last theorem contained a flaw that was only fixed a year later. Meanwhile, proof assistants ? formal tools originally develope ...
Date : 18-05-2017
 Description complète
Proofs assistants : from symbolic logic to real mathematics
Accéder aux documents