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

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in: Pour la science No 402
1. Verfasser: Delahaye, Jean-Paul, 1952-...., mathématicien.
Format: Article de revue
Veröffentlicht: 2011.
Schlagworte:
Zusammenfassung: 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.
Ähnliche Datensätze: Enthalten in: Pour la science

Ähnliche Einträge