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

dans Afficher les fiches par  
16 fiches trouvées

12019 Au fil des maths. N° 533. p. 69-73. Variations autour d'une formule.
22019 Bibliothèque Tangente. N° 68. Les preuves par ordinateur. p. 122-126.
32018 Tangente Hors-série. N° 68. p. 28-30. Les preuves par ordinateur.
42016 The Oxford Handbook of Generality in Mathematics and the Sciences. Leibnizian Analysis, Canonical Objects, and Generalization. p. 329-344.
52015 Bibliothèque Tangente. N° 55. Preuve et logique. p. 56-58.
62015 Bibliothèque Tangente. N° 54. Le théorème des quatre couleurs. p. 56-57.
72015 History and Epistemology in Mathematics Education: Proceedings of the Seventh European Summer University. ESU 7.Ressource en ligne
82014 Tangente Hors-série. N° 54. p. 30-31. Le théorème des quatre couleurs.
92013 Bibliothèque Tangente. N° 49. Le monumental théorème de Feit-Thompson reçoit une preuve formelle. p. 82-84.
102013 Bibliothèque Tangente. N° 49. Les maths de l'impossible.
112013 Tangente Hors-série. N° 49. p. 42-43. Le monumental théorème de Feit-Thompson reçoit une preuve formelle.
122013 Tangente Hors-série. N° 49. Mathématiques de l'impossible.
132002 Tangente Hors-série. N° 12. p. 58-59. Le théorème des quatre couleurs.
142001 Calcul formel et apprentissage des mathématiques. Objets mathématiques et représentations formelles. p. 203-206.
151996 L'enseignement des mathématiques : des Repères entre Savoirs, Programmes & Pratiques. Géométrie en mouvement. p. 211-222.
161995 Repères-IREM, N°18. p. 73-84. Géométrie en mouvement.Ressource en ligne