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

23 fiches trouvées

Réponses 21 à 23

21	1990 La démonstration mathématique dans l'histoire.
22	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.
23	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.