Aide à la recherche   Requête : "preuve formelle"

1	2019 Au fil des maths. N° 533. p. 69-73. Variations autour d'une formule.
2	2019 Bibliothèque Tangente. N° 68. Les preuves par ordinateur. p. 122-126.
3	2018 Tangente Hors-série. N° 68. p. 28-30. Les preuves par ordinateur.
4	2016 History and Pedagogy of Mathematics: july 18-22 2016, Montpellier, France. English mathematical practitioners and the new mechanical philosophy. New emerging epistemologies in the development of Gunnery from Nicolo Tartaglia (1537) to the end of the Seventeenth Century and implications for learning. p. 543-556.
5	2016 The Oxford Handbook of Generality in Mathematics and the Sciences. Leibnizian Analysis, Canonical Objects, and Generalization. p. 329-344.
6	2015 Bibliothèque Tangente. N° 54. Le théorème des quatre couleurs. p. 56-57.
7	2015 Bibliothèque Tangente. N° 55. Preuve et logique. p. 56-58.
8	2015 History and Epistemology in Mathematics Education: Proceedings of the Seventh European Summer University. ESU 7.
9	2015 History and Epistemology in Mathematics Education: Proceedings of the Seventh European Summer University. Formal proof and exploratory experimentation: a Lakatosian view on the interplay between examples and deductive proof practices in upper-secondary school. p. 433-446.
10	2014 Tangente Hors-série. N° 54. p. 30-31. Le théorème des quatre couleurs.
11	2013 Bibliothèque Tangente. N° 49. Le monumental théorème de Feit-Thompson reçoit une preuve formelle. p. 82-84.
12	2013 Bibliothèque Tangente. N° 49. Les maths de l'impossible.
13	2013 Preuves sans mots.
14	2013 Tangente Hors-série. N° 49. Mathématiques de l'impossible.
15	2013 Tangente Hors-série. N° 49. p. 42-43. Le monumental théorème de Feit-Thompson reçoit une preuve formelle.
16	2012 Actes du Colloque EMF 2012. Identification d'obstacles inhérents à l'apprentissage de l'algèbre abstraite. Présentation d'un cadre théorique. p. 1016-1025.
17	2002 Tangente Hors-série. N° 12. p. 58-59. Le théorème des quatre couleurs.
18	2001 Calcul formel et apprentissage des mathématiques. Objets mathématiques et représentations formelles. p. 203-206.
19	1996 L'enseignement des mathématiques : des Repères entre Savoirs, Programmes et Pratiques. Géométrie en mouvement. p. 211-222.
20	1995 Repères-IREM. N° 18. p. 73-84. Géométrie en mouvement.