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

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

Saved in:

Bibliographic Details
Published in:	Pour la science No 402
Main Author:	Delahaye, Jean-Paul, 1952-...., mathématicien.
Format:	Article de revue
Published:	2011.
Subjects:	Formalisme (mathématiques). Théorèmes > Démonstration automatique. Articles de périodiques
Summary:	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.
Related Items:	Contained in: Pour la science

	Location	Call Number	Status
n° 402 (2011)	Archives	500 RS POU	Dispo. du n° : voir "Lien"

Similar Items