Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (1)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Xavier Müller, Auteur |La démonstration de la conjecture de Kepler par Thomas Hales a été déclarée valide à 99% par le comité de vérification - la méthode de démonstration assistée par ordinateur étant considérée par les mathématiciens comme non entièrement vérifiable[...]
