Accueil Publimath  Aide à la recherche  Requête : "utilisation d'un logiciel d'aide à la démonstration"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
20 fiches trouvées

12016 Mathématice. N° 48. Démontrer avec Géométrix 4.1.Ressource en ligne
22016 Mathématice. N° 48. Géotortue : expérimentation en 5ème et pistes à explorer.Ressource en ligne
32015 Mathématice. N° 47. Construire avec GéométriX 4.1 en CM2.Ressource en ligne
42009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.Ressource en ligne
52009 Mathématice. N° 14. Articles déjà parus dans MathemaTICE à propos du travail collaboratif.Ressource en ligne
62009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.Ressource en ligne
72006 Mathematice. N° 2. GéométriX.Ressource en ligne
82004 Les cahiers de l'IREM d'Orléans. N° 2. Du raisonnement à la démonstration au collège.
92003 Intégration des Technologies dans l'Enseignement des Mathématiques - Ecole, Collège, Lycée, Université, IUFM.
102001 Environnements interactifs d'apprentissage et démonstration en géométrie.Ressource en ligne
112001 Produire et lire des textes de démonstration. Premier pas : un outil d'apprentissage et de révélation des erreurs. p. 241-248.
122001 Produire et lire des textes de démonstration. Le logiciel Mentoniezh. p. 249-254.
132001 Produire et lire des textes de démonstration.
141997 Les Maths en collège et en lycée. Quelques pistes pour une utilisation de l'informatique dans l'enseignement des mathématiques. p. 60-71.
151994 PLOT. N° 68. p. 20-24. Mentoniezh : un tuteur pour la résolution de problèmes en géométrie.
161994 PLOT. N° 68. p. 14-16. Une aide au raisonnement : le logiciel CHYPRE.
171993 Repères-IREM, N°10. p. 25-46. Chypre : un logiciel d'aide au raisonnement.Ressource en ligne
181992 L'ordinateur, outil d'aide à la démonstration et au traitement de données didactiques Mathématiques et applications.
191992 Petit x. N° 30. p. 63-72. Expérimentation du tutoriel Mentoniezh en classe de quatrième.Ressource en ligne
201990 Ecriture automatique de démonstrations en géométrie.Ressource en ligne