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

30 fiches trouvées

Reponses 21 à 30

21	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. Didactique et intelligence artificielle.
22	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 113-138. Reconnaissance de plan pour la modélisation de l'élève. Le projet Mentoniezh.
23	1993 Repères-IREM. N° 10.
24	1993 Repères-IREM. N° 10. p. 25-46. CHYPRE : un logiciel d'aide au raisonnement.
25	1992 L'ordinateur, outil d'aide à la démonstration et au traitement de données didactiques Mathématiques et applications.
26	1992 Petit x. N° 30. p. 63-72. Expérimentation du tutoriel Mentoniezh en classe de quatrième.
27	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.
28	1990 Ecriture automatique de démonstrations en géométrie.
29	1989 Annales de didactique et de sciences cognitives. V. 2.
30	1989 Annales de didactique et de sciences cognitives. V. 2. p. 89-109. Réflexions sur les logiciels d'aide à la démonstration en géométrie.