N. Balacheff, Processus de preuve et situations de validation, Educational Studies in Mathematics, vol.18, pp.147-176, 1987.
URL : https://hal.archives-ouvertes.fr/hal-01619264

N. Balacheff, Proceedings of the 35th annual meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education, pp.2-15, 2013.

V. Durand-guerrier, Truth versus validity in mathematical proof, ZDM The International Journal on Mathematics Education, vol.40, pp.373-384, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00804017

V. Durand-guerrier, A. Meyer, and S. Modeste, Didactical issues at the interface of mathematics and computer science, Proof Technology in Mathematics Research and Teaching
URL : https://hal.archives-ouvertes.fr/hal-01912885

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

N. Giroud, Étude de la démarche expérimentale dans les situations de recherche pour la classe, 2011.

G. Gueudet, L. Bueno-ravel, S. Modeste, and L. Trouche, Curriculum in France. A national frame in transition, International Perspectives on mathematics Curriculum. IAP, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01599059

Z. Mesnil, A reference for studying the teaching of logic, CERME 10, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01865656

A. Meyer and S. Modeste, Recherche binaire et méthode de dichotomie, comparaison et enjeux didactiques à l'interface mathématiques -informatique, EMF, 2018.

S. Modeste, Enseigner l'algorithme pour quoi ? Quelles nouvelles questions pour les mathématiques ? Quels apports pour l'apprentissage de la preuve ?, 2012.

G. Université-de,

S. Modeste, Modelling algorithmic thinking : the fundamental notion of problem, proceedings of CERME 8. Antalya (Turkey), 2013.

S. Modeste, Impact of Informatics on Mathematics and Its Teaching, History and Philosophy of Computing, pp.243-255, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01615294

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

C. Ouvrier-buffet, A. Meyer, and S. Modeste, Discrete mathematics at university level. Interfacing mathematics, computer science and arithmetic. Presented at the Second INDRUM Conference, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01849537

G. Vergnaud, The Theory of Conceptual Fields, Human Development, vol.52, issue.2, pp.83-94, 2009.