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  
26 fiches trouvées Début Précédent Réponses 21 à 26

211993 Repères-IREM, N°10. p. 25-46. Chypre : un logiciel d'aide au raisonnement.Ressource en ligne
221992 L'ordinateur, outil d'aide à la démonstration et au traitement de données didactiques Mathématiques et applications.
231992 Petit x. N° 30. p. 63-72. Expérimentation du tutoriel Mentoniezh en classe de quatrième.Ressource en ligne
241990 Ecriture automatique de démonstrations en géométrie.Ressource en ligne
251989 Annales de didactique et de sciences cognitives. V. 2.Ressource en ligne
261989 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.Ressource en ligne