Aide à la recherche   Requête : démonstration automatique

24 fiches trouvées

Reponses 21 à 24

21	1990 Ecriture automatique de démonstrations en géométrie.
22	1990 La démonstration mathématique dans l'histoire.
23	1990 La démonstration mathématique dans l'histoire. Démonstration automatique en géométrie : une approche par l'algèbre. p. 251-259.
24	1976 Bulletin de l'APMEP. N° 302. p. 93-106. La démonstration automatique de théorèmes : des méthodes et des résultats qui concernent l'enseignement des mathématiques.