Théorèmes -- Démonstration automatique

1 / 1 exemplaire(s) disponible(s)
Filtrer par bibliothèque
Afficher/Cacher les documents non disponible
Bibliotheque Localisation Cote Etat Retrait de la réservation
Huy 1 exemplaire(s) disponible(s)
Bibliothèque Publique de Huy Pôle de compétence régional 511 NAV I Disponible

Idées fugaces, théorèmes éternels

Auteurs :
Navarro, Joaquín
Année de parution :
2012
Editeur :
RBA coleccionables
Collection :
Le |Monde est mathématique
Importance matérielle :
1 vol. (159 p.) : ill., couv. ill. en coul. : 24 cm
9782815204644
Théorèmes -- Démonstration automatique
Veuillez vous connecter pour réserver

Article

Du rêve à la réalité des preuves

Auteurs
Delahaye, Jean-Paul Auteur du texte
Bulletin : Pour la science 402 - avril 2011
Date parution pério
2011-04-01
Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
Théorèmes -- Démonstration automatique
Formalisme (mathématiques)
Numéros de page :
6 p. / p. 90-95