Accueil Publimath  Aide à la recherche  Requête : "démonstration automatique"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
24 fiches trouvées Début Précédent Réponses 21 à 24

211990 Ecriture automatique de démonstrations en géométrie.Ressource en ligne
221990 La démonstration mathématique dans l'histoire.
231990 La démonstration mathématique dans l'histoire. Démonstration automatique en géométrie : une approche par l'algèbre. p. 251-259.Ressource en ligne
241976 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.Ressource en ligne