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

dans Afficher les fiches par  
30 fiches trouvées Réponses 1 à 20 Suivant Fin

12016 Mathématice. N° 48. Géotortue : expérimentation en 5ème et pistes à explorer.Ressource en ligne
22016 Mathématice. N° 48. Démontrer avec Géométrix 4.1.Ressource en ligne
32015 Mathématice. N° 47. Construire avec GéométriX 4.1 en CM2.Ressource en ligne
42009 Mathématice. N° 14. La démonstration géométrique revisitée 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° 17. Construire avec GeoGebra puis démontrer avec Exogéo.Ressource en ligne
72007 Géométrix. Version 3.0.0.5.t.Ressource en ligne
82006 Mathematice. N° 2. GéométriX.Ressource en ligne
92004 Les cahiers de l'IREM d'Orléans. N° 2. Du raisonnement à la démonstration au collège.
102003 Intégration des Technologies dans l'Enseignement des Mathématiques - Ecole, Collège, Lycée, Université, IUFM.
112001 Environnements interactifs d'apprentissage et démonstration en géométrie.Ressource en ligne
122001 Introduction à la logique.
132001 Produire et lire des textes de démonstration.
142001 Produire et lire des textes de démonstration. Premier pas : un outil d'apprentissage et de révélation des erreurs. p. 241-248.
152001 Produire et lire des textes de démonstration. Le logiciel Mentoniezh. p. 249-254.
161998 Démonstration en géométrie.
171998 Geometrix.
181997 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.
191994 PLOT. N° 68. p. 20-24. Mentoniezh : un tuteur pour la résolution de problèmes en géométrie.
201994 PLOT. N° 68. p. 14-16. Une aide au raisonnement : le logiciel CHYPRE.