Menu
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par auteur
P
PAULSON LAWRENCE
Déposer une
ressource
1
ressource :
PAULSON LAWRENCE
Rechercher
Aide
Recherche avancée
Recherche en cours
Par auteur
=
PAULSON LAWRENCE
1
1
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1
ressource
page 1
sur 1
résultats
1 à 1
Proofs assistants : from symbolic logic to real mathematics
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 developed ...
Mots clés
:
preuve de programme
Date
:
18-05-2017
Droits
:
Droits réservés à l'éditeur et aux auteurs.
En savoir plus
Description complète
Proofs assistants : from symbolic logic to real mathematics
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
1