Accessibilité
Du rêve à la réalité des preuves
Bulletin : Pour la science 402 - avril 2011
01 avril 2011
Auteurs
Numéros de page :
6 p. / p. 90-95
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.