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

49 fiches trouvées

Reponses 41 à 49

41	1993 Repères-IREM. N° 10. p. 25-46. CHYPRE : un logiciel d'aide au raisonnement.
42	1992 L'ordinateur, outil d'aide à la démonstration et au traitement de données didactiques Mathématiques et applications.
43	1992 Petit x. N° 30. p. 63-72. Expérimentation du tutoriel Mentoniezh en classe de quatrième.
44	1992 Recherches en didactique des mathématiques. Vol. 12/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.
45	1990 Actes de l'université d'été informatique et enseignement de la géométrie.
46	1990 Ecriture automatique de démonstrations en géométrie.
47	1989 Annales de didactique et de sciences cognitives. V. 2.
48	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.
49	1988 Petit x. N° 16. p. 35-48. Cabri-Géomètre : un Cahier de Brouillon informatisé pour la résolution de problèmes de géométrie.