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

dans Afficher les fiches par  
13 fiches trouvées

12023 Au fil des maths. N° 547. p. 58-62. Démonstrations et programmes.
22017 Bulletin de l'APMEP. N° 523. p. 259-265. Les problèmes de l'APMEP.Ressource en ligne
32015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
42013 Bulletin de l'APMEP. N° 503. p. 166-180. Mastermind : Des preuves par ordinateur.Ressource en ligne
52011 Bulletin de l'APMEP. N° 492. p. 43-61. Que faire avec un tableur formel au collège et au lycée ?Ressource en ligne
62010 Mathématice. N° 22. Que faire avec un tableur formel au collège et au lycée ?Ressource en ligne
72008 Accromath. N° 3. Hiver-printemps 2008. p. 22-25. Preuves et certitudes.Ressource en ligne
82002 Bulletin de l'APMEP. N° 442. p. 602-612. Les ordinateurs mathématiciens.Ressource en ligne
91997 Faire des mathématiques avec l'ordinateur au lycée. T. 2
101992 Quadrature. N° 11. p. 5-12. Quelle est la meilleure preuve ?
111979 L'Ouvert. N° 17. p. 3-7. La preuve par ordinateur.Ressource en ligne
121979 L'Ouvert. N° 17.Ressource en ligne
131977 Quelques apports de l'informatique à l'enseignement des mathématiques.Ressource en ligne