J. M. Borwein, Exploratory experimentation: Digitally-assisted discovery and proof. In: Proof and proving in mathematics education, pp.69-96, 2012.

J. Chabert, A history of algorithms From the Pebble to the Microchip, 1999.

Y. Chevallard and M. Bosch, Didactic Transposition in Mathematics Education, Encyclopedia of Mathematics Education, pp.170-174, 2014.
DOI : 10.1007/978-94-007-4978-8_48

D. Mol and L. , 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.

D. Mol and L. , Some reflections on mathematics and its relation to computer science, Automata, pp.75-101, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00988581

G. Dowek, Les métamorphoses du calcul: uné etonnante histoire de mathématiques, 2007.

G. Hanna and M. De-villiers, ICMI Study 19: Proof and proving in mathematics education, 2012.

M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, 1979.

R. W. Hamming, Impact of Computers. The American Mathematical Monthly, pp.72-74, 1965.

A. G. Howson and J. Kahane, The Influence of computers and informatics on mathematics and its teaching. International Commission on Mathematical Instruction, 1986.

S. Johsua and J. Dupin, IntroductionàIntroduction`Introductionà la didactique des sciences et des mathématiques, 1993.

D. E. Knuth, Algorithmic Thinking and Mathematical Thinking, The American Mathematical Monthly, vol.92, issue.3, pp.92-93, 1985.
DOI : 10.2307/2322871

J. Kuntzmann, Apport de l'informatiquè a l'enseignement mathématique, Cedic, 1974.

L. Lovász, Algorithmic mathematics: an old aspect with a new emphasis, Proceedings of ICME 6, pp.67-78, 1988.

L. Lovász, Trends in Mathematics: How they could Change Education? European Conference The Future of, Mathematics Education in Europe, 2007.

S. B. Maurer, What is an algorithm? What is an answer? (eds) The teaching and learning of Algorithm in school mathematics, NCTM Yearbook, pp.21-31, 1998.

S. Modeste and C. Ouvrier-buffet, The appearance of algorithms in curricula, a new opportunity to deal with proof?, Proceedings of CERME, vol.7, 2011.

S. Modeste and . La, Apports d'un point de vue extérieur aux mathématiques, Actes du Colloque EMF, 2012.

S. Modeste, 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.

H. S. Wilf, What is an answer? American Mathematical Monthly, pp.89-94, 1982.

H. S. Wilf, Mathematics: an experimental science, Princeton Companion to Mathematics, W. T. Gowers, 2005.