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
, 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.
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
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
Computers and Intractability: A Guide to the Theory of NP-Completeness, 1979. ,
Étude de la démarche expérimentale dans les situations de recherche pour la classe, 2011. ,
Curriculum in France. A national frame in transition, International Perspectives on mathematics Curriculum. IAP, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01599059
A reference for studying the teaching of logic, CERME 10, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01865656
Recherche binaire et méthode de dichotomie, comparaison et enjeux didactiques à l'interface mathématiques -informatique, EMF, 2018. ,
Enseigner l'algorithme pour quoi ? Quelles nouvelles questions pour les mathématiques ? Quels apports pour l'apprentissage de la preuve ?, 2012. ,
,
Modelling algorithmic thinking : the fundamental notion of problem, proceedings of CERME 8. Antalya (Turkey), 2013. ,
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
The appearance of algorithms in curricula, a new opportunity to deal with proof?, Proceedings of CERME 7, 2011. ,
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
The Theory of Conceptual Fields, Human Development, vol.52, issue.2, pp.83-94, 2009. ,