Aide à la recherche   Requête : "utilisation d'un logiciel d'aide à la démonstration"

23 fiches trouvées

Réponses 21 à 23

21	1992 Petit x. N° 30. p. 63-72. Expérimentation du tutoriel Mentoniezh en classe de quatrième.
22	1992 Recherches en didactique des mathématiques. Vol. 12. N° 2-3. p. 271-318. Aide logicielle à la résolution de problèmes avec preuve : Des séquences didactiques pour l'enseignement de la démonstration.
23	1990 Ecriture automatique de démonstrations en géométrie.