Du rêve à la réalité des preuves
Gespeichert in:
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
-
Automated theorem Proving : a logical basis
von: Loweland, Donald.
Veröffentlicht: 1978 -
Les Ordinateurs mathématiciens !.
von: Delahaye, Jean-Paul, 1952-...., mathématicien.
Veröffentlicht: 2002 -
Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
von: Larousserie, David.
Veröffentlicht: 2003 -
Paver le plan avec un pentagone convexe
von: Delahaye, Jean-Paul, 1952-...., mathématicien.
Veröffentlicht: 2017 -
Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
von: David, René, 1948-
Veröffentlicht: 2001