Résultats de la recherche - "Théorèmes Démonstration automatique."

1

par Loweland, Donald.
Publié 1978

Livre

2

$Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.$

par Larousserie, David.
Publié 2003

Article de revue

3

$Les Ordinateurs mathématiciens !.$

par Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié 2002

Article de revue

4

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

par Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié 2011

Article de revue

5

$Paver le plan avec un pentagone convexe$

par Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié 2017

Article de revue

6

par David, René, 1948-
Publié 2001

Livre

Restreindre la recherche