Thèses
PHD Thesis
Tesis

		Abrougui H. (2002) La démonstration dans l'enseignement tunisien
		Battie V. (2003) Spécificités et potentialités de l'arithmétique élémentaire pour l'apprentissage du raisonnement mathématique. Université Denis Diderot - Paris 7
		Chellougui F. (2004) L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.UniversitéLyon 1
		Dahan J. (2005) La démarche de découverte expérimentalement médiée par Cabri-Géomètre en mathématiques: un essai de formalisation à partir de l'analyse de démarches de résolutions de problèmes de boîtes-noires.Université Joseph-Fourier, Grenoble 1
		Deloustal-Jorrand V.(2004) L'implication mathématique : étude épistémologique et didactique. Etude sous trois points de vue : raisonnement déductif, logique formelle et théorie des ensembles. Construction d'une situation didactique qui problématise l'implication.Université Joseph Fourier, Grenoble
		Douek N. (2003) Les rapports entre l'argumentation et la conceptualisation dans les domaines d'expérience. Université Paris 5
		Douaire, J. (2006) Analyse didactiquedes processus de preuve dans le domaine numérique au cycle 3 de l'école primaire IUFM de Versailles - INRP
		Gravina M. A. (2001) Dynamical geometry environments and hypothetic-deductive thinking, Universidade Federal do RGS, Brasil.
		Hemmi, K. (2006) Approaching Proof in a Community of Mathematical Practice. Doctoral dissertation, Stockholm University, Department of Mathematics, Sweden. Published in 2008 by VDM verlag.
		Kilani I. B.(2005) Les effets didactiques des différences de fonctionnement de la négation dans la langue arabe, la langue française et le langage mathématique Université Claude Bernard Lyon 1
		Knipping C. (2003) Processus de preuve dans la pratique de l'enseignement - Analyses comparatives de l'enseignement des mathématiques en Allemagne et en France, Universität Hamburg, Université Joseph Fourier Grenoble
		Olivero F.(2003) The proving process within a dynamic geometry environment, University of Bristol
		C. Ouvrier-Buffet (2003) Construction de définitions / construction de concept : vers une situation fondamentale pour la construction de définitions en mathématiques. Etude épistémologique et didactique de la définition. Etude théorique et expérimentale de la dévolution de problèmes de construction de définitions, auprès d'étudiants de 1ère année d'université.Université Joseph Fourier, Grenoble
		Mogetta C. (2004) The Role of Tools in Conjecturing, Arguing and Proving in School Mathematics: The Case of Dynamic Geometry. Thèse de doctorat. University of Bristol
		Miyakawa, T.(2005), Une étude du rapport entre connaissance et preuve : le cas de la notion de symétrie orthogonale Thèse de doctorat. Université Joseph Fourier, Grenoble I.
		Pedemonte B. (2002) Etude didactique et cognitive des rapports de l'argumentation et de la démonstration, co-tutelle Università di Genova and Université Joseph Fourier, Grenoble
		Raman M. J. (2002) Proof and Justification in Collegiate Calculus University of California, Berkeley
		Richard P. (2000) Modélisation du comportement en situation de validation. Thèse. Université Autonome de Barcelone.
		Scimone A. (2003) Pupils' conceptions about an open historical question: Goldbach's conjecture. The improvement of mathematical education from a Historical viewpoint. Bratislava University.
		Stylianides, A.J. (2005). Proof and proving in school mathematics instruction: Making the elementary grades part of the equation. Unpublished doctoral dissertation, University of Michigan, Ann Arbor
		Stylianides, G.J. (2005). Investigating students' opportunities to develop proficiency in reasoning and proving: A curricular perspective. Unpublished doctoral dissertation, University of Michigan, Ann Arbor
		Zinn C. (2004) Understanding informal mathematical discourse. Arbeitsberichte des Insituts für Informatik, Band 37, Number 4. Erlangen-Nürnberg: Friedricht-Alexaner-Universität