Accueil Publimath  Aide à la recherche  Requête : "preuve assistée par ordinateur"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
34 fiches trouvées Début Précédent Réponses 21 à 34

212009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.Ressource en ligne
222007 Mathematice. N° 7. Le calcul algébrique au premier trimestre de Première S.Ressource en ligne
232002 Quadrature. N° 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.
242000 PLOT. N° 91.Ressource en ligne
252000 PLOT. N° 91. p. 21-26. Le théorème des 4 couleurs.Ressource en ligne
261991 Tangente. N° 20. p. 4-5. Tangente : mode d'emploi.
271991 Tangente. N° 20. p. 12-15. Le théorème des 4 couleurs.
281984 Bulletin de l'APMEP. N° 345. p. 509-522. L'influence des ordinateurs et de l'informatique sur les mathématiques et leur enseignement, premier rapport CIEM (Commission Internationale sur l'Enseignement des Mathématiques).Ressource en ligne
291984 Bulletin de l'APMEP. N° 344. p. 383-389. Infor"math"ique. Chic et toc ?Ressource en ligne
301984 PLOT. N° 28.
311984 PLOT. N° 28. p. 19-27. L'influence des ordinateurs et de l'informatique sur les mathématiques et leur enseignement.
321979 L'Ouvert. N° 17.Ressource en ligne
331979 L'Ouvert. N° 17. p. 3-7. La preuve par ordinateur.Ressource en ligne
341977 Quelques apports de l'informatique à l'enseignement des mathématiques.Ressource en ligne