1. Artigue, M.: Épistémologie et Didactique. Recherches en Didactique des Mathématiques 10, 241–285 (1990)
2. Borwein, J.M.: Exploratory experimentation: digitally-assisted discovery and proof. In: Hanna, G., de Villiers, M. (eds.) Proof and Proving in Mathematics Education, pp. 69–96. Springer, Dordrecht (2012)
3. Chabert, J.-L.: A History of Algorithms: From the Pebble to the Microchip. Springer, Heidelberg (1999)
4. Chevallard, Y., Bosch, M.: Didactic transposition in mathematics education. In: Lerman, S. (ed.) Encyclopedia of Mathematics Education, pp. 170–174. Springer, Dordrecht (2014)
5. De Mol, L.: The proof is in the process: a preamble for a philosophy of computer-assisted mathematics. In: Galavotti, M.C., Dieks, D., Gonzalez, W.J., Hartmann, S., Uebel, T., Weber, M. (eds.) New Directions in the Philosophy of Science, pp. 5–33. Springer, Cham (2014)