Exploratory experimentation: Digitally-assisted discovery and proof. In: Proof and proving in mathematics education, pp.69-96, 2012. ,
A history of algorithms From the Pebble to the Microchip, 1999. ,
Didactic Transposition in Mathematics Education, Encyclopedia of Mathematics Education, pp.170-174, 2014. ,
DOI : 10.1007/978-94-007-4978-8_48
The Proof Is in the Process: A Preamble for a Philosophy of Computer- Assisted Mathematics. New Directions in the Philosophy of Science, pp.5-33, 2014. ,
Some reflections on mathematics and its relation to computer science, Automata, pp.75-101, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-00988581
Les métamorphoses du calcul: uné etonnante histoire de mathématiques, 2007. ,
ICMI Study 19: Proof and proving in mathematics education, 2012. ,
Computers and Intractability: A Guide to the Theory of NP-Completeness, 1979. ,
Impact of Computers. The American Mathematical Monthly, pp.72-74, 1965. ,
The Influence of computers and informatics on mathematics and its teaching. International Commission on Mathematical Instruction, 1986. ,
IntroductionàIntroduction`Introductionà la didactique des sciences et des mathématiques, 1993. ,
Algorithmic Thinking and Mathematical Thinking, The American Mathematical Monthly, vol.92, issue.3, pp.92-93, 1985. ,
DOI : 10.2307/2322871
Apport de l'informatiquè a l'enseignement mathématique, Cedic, 1974. ,
Algorithmic mathematics: an old aspect with a new emphasis, Proceedings of ICME 6, pp.67-78, 1988. ,
Trends in Mathematics: How they could Change Education? European Conference The Future of, Mathematics Education in Europe, 2007. ,
What is an algorithm? What is an answer? (eds) The teaching and learning of Algorithm in school mathematics, NCTM Yearbook, pp.21-31, 1998. ,
The appearance of algorithms in curricula, a new opportunity to deal with proof?, Proceedings of CERME, vol.7, 2011. ,
Apports d'un point de vue extérieur aux mathématiques, Actes du Colloque EMF, 2012. ,
Enseigner lalgorithme pour quoi? Quelles nouvelles questions pour les mathématiques? Quels apports pour lapprentissage de la preuve? PhD Thesis Available from: https://tel.archives-ouvertes, p.783294, 2012. ,
What is an answer? American Mathematical Monthly, pp.89-94, 1982. ,
Mathematics: an experimental science, Princeton Companion to Mathematics, W. T. Gowers, 2005. ,