Varia

Séminaires, conférences, workshops

A

Almeida D. (1996) Proof in Undergraduate Mathematics in the UK: A Case of Bridging from the Informal to the Formal? In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.86-93). South Africa, Centrahil: AMESA

Arsac G. (1996) Un cadre d'étude du raisonnement mathématique. In: Grenier D. (ed.) Séminaire Didactique et Technologies Cognitives en Mathématiques. Grenoble : IMAG. (à paraitre).

Arsac G . (1997) Formalisation, rigueur et formalisme. IX° Ecole d'été de Didactique des Mathématiques (Houlgate, 19-27 août 1997)

Arsac G. (1999) Variations et variables de la démonstration géométrique. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 5-28

Arsac G., Durand-Guerrier V. (1999) Démonstration et quantification universelle. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 51-63

Arsac G., Durand-Guerrier V. (2000) Logique et raisonnement mathématique. variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existenciels. In : Assude T., Grugeon B. (eds.) Actes du séminaire national de didactique des mathématiques (pp.55-83). Paris : équipe DIDEREM, Université de Paris VII.

Arzarello F. (1997) For an ecology of proof in the classroom. Tempus Project seminar, Budapest 31.1. -- 2.2., 1997

B

Balacheff N. (1989) Teaching Mathematical Proof. Relevance and Complexity of a Social Approach. In: Pereira-Mendoza L., Quigley M. (eds.) Proceedings of the 1989 Annual Meeting of the Groupe Canadien d'Etude en Didactique des Mathematiques (pp.13-27).Memorial University of Newfoundland.

Barbin E. (1996) An epistemological approach to proving: to know why and how we know. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.183-183). South Africa, Centrahil: AMESA

Barbin E. (1996) Historicité de la notion d'évidence en géométrie entre évidence visuelle et évidence manipulatoire. In: Proceedings Braga, Historìa Matematicà (vol.1). Universidade do Hinho

Barbin E. (1998) La démonstration : pulsation entre le discursif et le visuel. (pp. 39-68) Produire et lire des textes de démonstration. 23-24 janvier 1998. Laboratoire de Didactique des Mathématiques. Université de Rennes 1.

Bartolini Bussi M. G. (2000) Early approach to mathematical ideas related to proof making. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) , Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Bartolini Bussi, M. G. (2008) Experimental Mathematics and the Learning of Proof Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Baxandall P. R., Brown W. S., Rose G. St. C., Watson F. R. (1978) Proof in mathematics ("if", "then" and "perhaps"). An Occasional Publication of the Institute of Education (130 pages). Keel: University of Keel.

Beck I. (1998) Une approche linguistique de textes de raisonnement. (pp.1-22) Produire et lire des textes de démonstration. 23-24 janvier 1998. Laboratoire de Didactique des Mathématiques. Université de Rennes 1.

Beck I., Vaillant M. (1998) Comprendre un texte argumentatif. Annales de Didactique et de Sciences Cognitives. 6, 89-115.

Belfort E. (1999) Geometria Dinamîca e demonstrações na fromação continuada de professores. Cabri World 99 (p.34). São Paulo: PUC/SP.

Bkouche R. (1996) De la démonstration en géométrie. In: Gagatsis A., Rogers L. (eds) Didactics and History of Mathematics (pp.269-316). Thessalonikis, Université Aristote.

Bkouche R. (1996) La place du numérique dans la construction de la géométrie. In: Gagatsis A., Rogers L. (eds) Didactics and History of Mathematics (pp.317-352). Thessalonikis, Université Aristote.

Boero P. (2000) Entrer dans la culture des théorèmes à 12-14 ans : un défi pour la didactique des mathématiques. In : Assude T., Grugeon B. (eds.) Actes du séminaire national de didactique des mathématiques (pp.41-54). Paris : équipe DIDEREM, Université de Paris VII.

Boero P., Garuti R. (2000) Aspetti logico-linguistici e denamiche mentali. In : Drouhard J. P., Maurel M. (eds) Actes du séminaire SFIDA-9 à SFIDA-12 (Vol. 3, 1997-99, pp.XII/3-XII/6). Nice : IREM de Nice.

Bolite Frant J., Rabello de Castro M. (2000) Proofs in Geometry : Different concepts build upon very different cognitive mechanisms In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Botana F., Valcarce J. (1998) Proofs in some dynamic geometry systems. In : International Conference on the teaching of mathematics (pp. 53-55). John Willey & Sons.

Brousseau G., Gibel P. (1999) Analyse d'une séquence de classe destinée à développer certaines pratiques de raisonnement des élèves. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 64-71

C

Camargo Urib, L. & Gutierrez, A. (2008) Some Aspects of the Sociocultural Practice of Proving in a University Course with Support of Cabri Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Campbell S. (1999) The problem of unity and the emergence of physics, mathematics, and logic in ancient Greek thought. In: Lentz L., Winchester, I. (eds.) Towards scientific literacy (Proceedings of the Fourth International Conference on History and Philosophy of Science and Science Teaching, pp. 143-152) -- ISBN 0-88953-223-0

Canadas, M. & Castro, E. & Castro, E. (2008) An Inductive Reasoning Model in Linear and Quadratic Sequences. Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Chevallard Y. (1997) Rigueur et formalisme : à propos du curriculum secondaire. IX° Ecole d'été de Didactique des Mathématiques (Houlgate, 19-27 août 1997)

Cnop I. (1998) A uniform Computer-supported approach to analysis: Process, concepts and proofs. In : International Conference on the teaching of mathematics (pp. 65-67). John Willey & Sons.

D

David H. (1996) Making Sense of Reading Proof. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.284-285). South Africa, Centrahil: AMESA

Delègue P. (1999) Production d'écrits associés à la conduite d'un raisonnement. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen.Tome 2, 80-86

de Villiers M. (1996) The Role and Function of Proof in Dynamic Geometry. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.23-42). South Africa, Centrahil: AMESA

de Villiers M. (2000) Developing understanding of proof within the context of defining quadrilaterals In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Douek N. (1998) Some remarks about argumentation and mathematical proof and their educational implications. First CERME international conference. Osnabrück, Germany.

Douek N. (2000) Comparing argumentation and proof in a mathematics education In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Durand-Guerrier. V. (1996) Conditionals, necessity, and contingency in mathematics classes. The DIMACS Symposium on Symposium on Teaching Logic and Reasoning, Rutgers University, 25-26 July 1996.

Duval R. (1998) Ecriture et compréhension : pourquoi faire écrire des textes de démonstration par les élèves. (pp. 79-98) Produire et lire des textes de démonstration. 23-24 janvier 1998. Laboratoire de Didactique des Mathématiques. Université de Rennes 1.

Duval R. (1999) Ecriture, raisonnement, et découverte de la démonstration en mathématiques. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 29-50

Duval R. (1999) L'analyse des textes de raisonnement. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 87-94

E

El Glass B. (1998) L'apprentissage de la demonstration avec le logiciel DEFI. In : Actes du Séminaire de Didactique de mathématiques et de l'EIAO (pp. 3-33). Rennes : IRMAR.

Egret M.-A. (1999) Problèmes d'écriture de démonstration chez des élèves de lycée en arithmétique. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 95-101

F

Furinghetti F. & Paola D. (1996) Presentation of a Questionnaire for Evaluating the Influence of the Semantic Context in Mathematical Proof. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.94-100). South Africa, Centrahil: AMESA

Furinghetti F., Paola D. (1999) Shadows of the semantic context on the students' mathematical proofs. In: Lentz L., Winchester, I. (eds.) Towards scientific literacy (Proceedings of the Fourth International Conference on History and Philosophy of Science and Science Teaching, pp. 272-279) -- ISBN 0-88953-223-0.

G

Gal, H. & Lew, H-C. (2008) Is a rectangle a parallellogram? Towards a bypass of van Hiele level 3 decision making Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Garnica A. (1996) Fascination for the technical, decline of the critical: a study on rigorous proof and the training of mathematics teachers. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.257-280). South Africa, Centrahil: AMESA

Ginat D. (1996) Design-with-Proof, Loop Invariants, and Mathematical Games. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.58-58). South Africa, Centrahil: AMESA

Giorgiutti I. (1999) Quelques phénomènes didactiques mis en évidence par l'utilisation du logiciel DEFI. Séminaire de didactique. Université de Rennes 1.

Goldenberg P. (1996) Why prove? To understand. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.184-184). South Africa, Centrahil: AMESA

Gravina M. A. (1999) A demonstração em geometria: que possibilidades com o Cabri-geometry? Cabri World 99 (p.22). São Paulo: PUC/SP.

Gravina M. A. (2000) The proof in geometry: essays in a dynamical environment. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Grenier D., Payan C. (1998) Discrete mathematics in relation to learning and teaching proof and modelization. First CERME international conference.

Grenier D. (2000) Learning proof and modeling. Inventory of Teaching Practice and New Problems.In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Groupe CESAME (1999) Expérience de la nécessité et fonctions didactiques du récit. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 72-79

H

Hanna G. (1996) The Ongoing Value of Proof. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.1-14). South Africa, Centrahil: AMESA

Hanna G. (1999) Some factors in the decline of proof in the curriculum. In: Lentz L., Winchester, I. (eds.) Towards scientific literacy (Proceedings of the Fourth International Conference on History and Philosophy of Science and Science Teaching, pp. 345-352) -- ISBN 0-88953-223-0.

Harada K., Gallou-Dumiel E., Nohda N. (2000) The Role of Figures in Geometrical Proof-Problem Solving (Types of Students' Apprehensions of Figures in France and Japan). In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Harel G. (1996) Transformational Reasoning in Proving. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.283-283). South Africa, Centrahil: AMESA

Harel G. (1998) Greek versus modern mathematical thought and the role of Aristotelician causality in the mathematics of the renaissance: source for understanding epistemological obstacles in College students' conception of Proof. Plenary talk at the International Linear Algebra Society Conference. University of Wisconsin, Madison.

Harel G. (1999). Students' understanding of proofs: a historical analysis and implications for the teaching of geometry and linear algebra. Linear Algebra and Its Applications, 302-303, 601-613.

Harel G., Sowder L. (1999) Students' proof schemes. In: Lentz L., Winchester I. (eds.) Towards scientific literacy (Proceedings of the Fourth International Conference on History and Philosophy of Science and Science Teaching, pp. 354-396) -- ISBN 0-88953-223-0.

Healy L., Hoyles C. (1998) Justifying and proving in school mathematics. Summary of the results from a survey of the proof conceptions of students in the UK. Research Report Mathematical Sciences, Institute of Education, University of London.

Healy L. (2000) Connections between the empirical and the theoretical? Some considerations of students' interactions with examples in the proving process. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Hoyles C. (1996) Proving and Proof in School Mathematics. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.59-59). South Africa, Centrahil: AMESA

Hoyles C. (1998) Steering Between Skills and Creativity: A Role for the Computer? In: Park H.S, Young M. Choe Shin H., Kim S.H. (eds) Proceedings of the First ICMI-East Asia Regional conference on Mathematics Education (pp. 211-226, pp. 227-242). Korea, Aug. 1998. (Also translated into Korean).

Hoyles C. (1998) A Culture of Proving in School Mathematics? In: Tinsley J.D. Johnson D. C. (eds) Information and Communications Technologies in School Mathematics (IFIP proceedings, pp.170-181). London: Chapman & Hall

Hoyles C., Healey L. (1998) Students Performance in Proving: Competence or Curriculum? Proceedings of First Conference of the European Society for Research in Mathematics Education August 1998, Osnabruck, Germany.

Herbst P. G. (1999) The role of the teacher: What do the practices associated with two-column proofs say about the possibilities for argumentation? (Paper presented in the context of the symposium "Fostering argumentation in the mathematics class: The role of the teacher".) AERA 1999 annual meeting.

Herbst P. (1999) Le travail du maître dans la gestion d'une situation de preuve. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 102-106

Herbst P. (1999) Prouver et enseigner la démonstration dans la classe de mathématiques aux Etats-Unis. Ecole d'été de didactique des mathématiques. Plestin les Grèves

Heuberger P. (1998) A mathematical software environment for teaching algebra, logic and term rewriting. In: International Conference on the teaching of mathematics (pp. 143-145). John Willey & Sons.

Houdebine J. (1998) La diversité des textes de démonstration. (pp. 23-38) Produire et lire des textes de démonstration. 23-24 janvier 1998. Laboratoire de Didactique des Mathématiques. Université de Rennes 1.

I

Ibanes M. & Ortega T. (1996) Mathematical Proofs: Classification and Examples for Use in Secondary Education. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.109-154). South Africa, Centrahil: AMESA

J

Jones L. (1996) A Developmental Approach to Proof. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.235-240). South Africa, Centrahil: AMESA

K

Ko, Y. & Knuth, E. (2008) Taiwanese Undergraduates' Performance Constructing Proofs and Generating Counteraxamples in Differentiation. Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Katz V. (1996) Proof by Induction. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.200-208). South Africa, Centrahil: AMESA

L

Leon O. & Calderon D. (1996) La Argumentacion en la Solucion de Problemas Matematicos: El Recurso de la Prueba. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.155-182). South Africa, Centrahil: AMESA

Luengo V. (1999) L'apprentissage de la preuve et le logiciel Cabri-Euclide. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 107-114

M

Maher C. (1996) Are you convinced? Proof Making in Young Children. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.226-234). South Africa, Centrahil: AMESA

Maher C. A., Kiczek R. D. (2000) Long Term Building of Mathematical Ideas Related to Proof Making. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Marafioti Garnica A. V. (1996) fascination for the technical, decline of the critical: a study on the rigorous proof in the training of mathematics teachers. In: Gagatsis A., Rogers L. (eds) Didactics and History of Mathematics (pp.161-192). Thessalonikis, Université Aristote.

Mesquita A. (1996) Deductive reasoning in elementary school geometry. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.221-225). South Africa, Centrahil: AMESA

Mariotti M. A. (1997) Justifying and Proving: Figural and Conceptual Aspects. in: Hejny M., Novotna J. (eds.) Proceedings of the European Conference on Mathematical Education (pp.21-26). Prague: Prometheus Publishing House.

Mariotti M. A. (1999) Introducing pupils to proof: the mediation of Cabri. Cabri World 99 (p.20). São Paulo: PUC/SP.

Mariotti M. A. (1999) Cabri, les constructions géométriques et le problème de la démonstration. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen.Tome 2, 115-122

Mariotti M. A. (2000) La démonstration en mathématiques. In: Actes de la conférence "Enseigner les Mathématiques". Enseigner les mathématiques. Juillet 2000, Grenoble.

Meyer, M. (2008) From Discoveries to Verifications - Theoretical Framework and Inferential Analyses of Classroom Interaction Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Miykawa, T. & Herbst, P. (2008) Why Some Theorems are not Proven in Geometry Class: Dispositions and Constraints Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Movshovitz-Hadar N. (1996) On striking the Balance between Formal and Informal Proofs. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.43-52). South Africa, Centrahil: AMESA

Movshovitz-Hadar N., Malek A. (1998) Transparent pseudo-proofs: a bridge to formal proofs. In International Conference on the teaching of mathematics (pp. 221-223). John Willey & Sons.

N

Najoua H. A. (2001) Différents types d'argumentations mobilisés par des élèves tunisiens en début d'apprentissage de la démonstration. In : Dorier J. L. (ed.) Actes de la XI° école d'été de Didactique des Mathématiques. (à paraître)

Neubrand M. (1996) Proving as part of dealing with theorems. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.200-200). South Africa, Centrahil: AMESA

Nunokawa, K. & Fukuzawa, T. (2008) Operating on and Understanding of Problem Situations in Proving Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

0

Olivero F. (2000) Exploring, constructing, talking and writing during the proving process within a dynamic geometry environment: what continuity(ies)? In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

P

Pegg J. (1996) Interpreting students' approaches to geometric proofs: a neo-Piagetian approach. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.101-108). South Africa, Centrahil: AMESA

Pelczer, I. & Voica, C. (2008) Proof in Romanian High School Introductory Analysis Textbooks - A Historical Overview Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Perrin D. (1997) Rigueur et formalisme(s). IX° Ecole d'été de Didactique des Mathématiques (Houlgate, 19-27 août 1997)

Pluvinage F. (1998) La nature des objets mathematiques dans le raisonnement. Annales de Didactique et de Sciences Cognitives. 6, 125-138.

Py D. (1998) La démonstration dans les EIAO en géométrie. (pp. 69-78) Produire et lire des textes de démonstration. 23-24 janvier 1998. Laboratoire de Didactique des Mathématiques. Université de Rennes 1.

R

Reid D. (1996) The Role of Proving: Students and Mathematicians. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.185-199). South Africa, Centrahil: AMESA

Retzer K. (1996) A Geometry Proof Making model. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.60-85). South Africa, Centrahil: AMESA

Richard P. R. (2000) L'inférence figurative. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan. [English version available]

Rodrigues, M. (2008) Reasoning and Proof in Classroom (9th grade) Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Rogalski M. (1997) Les processus de formalisation en mathématiques, problèmes didactiques. IX° Ecole d'été de Didactique des Mathématiques (Houlgate, 19-27 août 1997)

Rosario, H. (2008) Puzzles and Proofs: From Informal to Formal Arguments Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Roulet G.: The Legacy of Piaget (2000) Some Negative Consequences for Proof and Efforts to Address Them. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Ruttkay Z. (1996) Proofs and proving in different contexts. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.286-296). South Africa, Centrahil: AMESA

S

Scarafiotti A.R. & Alloatti F. (1996) Working out proofs together in the classroom. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.209-220). South Africa, Centrahil: AMESA

Sekiguchi Y. (1996) What is really special in the Learning of Proof for Students?: An ethnographic analysis. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.241-256). South Africa, Centrahil: AMESA

Sekiguchi Y.(2000) Mathematical Proof, Argumentation, and Classroom Communication: A Japanese Perspective. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan. [Version française disponible]

Sela, H. (2008) Coping with Mathematical Contradictions with Peers Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Selden A., Selden J. (1987) Errors and misconceptions in college level theorem proving. In: Proceedings of the Second International Seminar on Misconceptions and Educational Strategies in Science and Mathematics (pp. 457-470). Cornell University, July 1987.

Selden A., Selden J. (1996) The role of logic in the validation of mathematical proofs. The DIMACS Symposium on Symposium on Teaching Logic and Reasoning, Rutgers University, 25-26 July 1996.

Selden, J. & Selden, A. & McKee, K. (2008) Improving Advanced Students' Proving Abilities Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Senk, L. & Thomson, D. R. & Johnson, G. (2008) Reasoning and Proof in Hight School Textbooks from the USA Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Stylianides, A. J. & Stylianides, G. J. (2008) 'Cognitive Conflict' as Mechanism for Supporting Developmental Progressions in Students' Knowledge about Proof Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

T

Tall D. O. (1992) Construction of objects through definition and proof. Working paper for the AMT working group of PME.

Tall D. O. (1995) Cognitive development, representations and proof. Paper presented at the conference on Justifying and Proving in School Mathematics Institute of Education, London, December 1995, pp. 27&endash;38.

U

Ufer, S. & Heinze, A. (2008) Development of Geometric Proof Competency from Grade 7 to 9 A Longitudinal Study Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

V

van Asch B. (1996) Does an engineer need proof? In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.53-57). South Africa, Centrahil: AMESA

Vernikos S., Dinou A., Chionidou M. (1998) The lost honour of the proof. In : International Conference on the teaching of mathematics (pp. 305-307). John Willey & Sons.

Vinner S. (1988) Visual considerations in college calculus - students and teachers. Proceedings of the Third International Conference on the Theory of Mathematics Education (pp. 109-116).

W

Winicki Landman G.(2000) Making possible the discussion of "Impossible in Mathematics" In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.

Wittmann E. (1996) Opertaive Proofs in Primary Mathematics. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.15-22). South Africa, Centrahil: AMESA

X

Y

Yang, K-L. & Wang, L-W. (2008) Propositions Posed under a Proof without its Proposition Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

Z

Zaslavsky O. (1996) Pitfalls in Generating and Using Counter-Examples in Mathematics. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.281-282). South Africa, Centrahil: AMESA

		Almeida D. (1996) Proof in Undergraduate Mathematics in the UK: A Case of Bridging from the Informal to the Formal? In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.86-93). South Africa, Centrahil: AMESA
		Arsac G. (1996) Un cadre d'étude du raisonnement mathématique. In: Grenier D. (ed.) Séminaire Didactique et Technologies Cognitives en Mathématiques. Grenoble : IMAG. (à paraitre).
		Arsac G . (1997) Formalisation, rigueur et formalisme. IX° Ecole d'été de Didactique des Mathématiques (Houlgate, 19-27 août 1997)
		Arsac G. (1999) Variations et variables de la démonstration géométrique. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 5-28
		Arsac G., Durand-Guerrier V. (1999) Démonstration et quantification universelle. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 51-63
		Arsac G., Durand-Guerrier V. (2000) Logique et raisonnement mathématique. variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existenciels. In : Assude T., Grugeon B. (eds.) Actes du séminaire national de didactique des mathématiques (pp.55-83). Paris : équipe DIDEREM, Université de Paris VII.
		Arzarello F. (1997) For an ecology of proof in the classroom. Tempus Project seminar, Budapest 31.1. -- 2.2., 1997

		Balacheff N. (1989) Teaching Mathematical Proof. Relevance and Complexity of a Social Approach. In: Pereira-Mendoza L., Quigley M. (eds.) Proceedings of the 1989 Annual Meeting of the Groupe Canadien d'Etude en Didactique des Mathematiques (pp.13-27).Memorial University of Newfoundland.
		Barbin E. (1996) An epistemological approach to proving: to know why and how we know. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.183-183). South Africa, Centrahil: AMESA
		Barbin E. (1996) Historicité de la notion d'évidence en géométrie entre évidence visuelle et évidence manipulatoire. In: Proceedings Braga, Historìa Matematicà (vol.1). Universidade do Hinho
		Barbin E. (1998) La démonstration : pulsation entre le discursif et le visuel. (pp. 39-68) Produire et lire des textes de démonstration. 23-24 janvier 1998. Laboratoire de Didactique des Mathématiques. Université de Rennes 1.
		Bartolini Bussi M. G. (2000) Early approach to mathematical ideas related to proof making. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) , Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Bartolini Bussi, M. G. (2008) Experimental Mathematics and the Learning of Proof Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Baxandall P. R., Brown W. S., Rose G. St. C., Watson F. R. (1978) Proof in mathematics ("if", "then" and "perhaps"). An Occasional Publication of the Institute of Education (130 pages). Keel: University of Keel.
		Beck I. (1998) Une approche linguistique de textes de raisonnement. (pp.1-22) Produire et lire des textes de démonstration. 23-24 janvier 1998. Laboratoire de Didactique des Mathématiques. Université de Rennes 1.
		Beck I., Vaillant M. (1998) Comprendre un texte argumentatif. Annales de Didactique et de Sciences Cognitives. 6, 89-115.
		Belfort E. (1999) Geometria Dinamîca e demonstrações na fromação continuada de professores. Cabri World 99 (p.34). São Paulo: PUC/SP.
		Bkouche R. (1996) De la démonstration en géométrie. In: Gagatsis A., Rogers L. (eds) Didactics and History of Mathematics (pp.269-316). Thessalonikis, Université Aristote.
		Bkouche R. (1996) La place du numérique dans la construction de la géométrie. In: Gagatsis A., Rogers L. (eds) Didactics and History of Mathematics (pp.317-352). Thessalonikis, Université Aristote.
		Boero P. (2000) Entrer dans la culture des théorèmes à 12-14 ans : un défi pour la didactique des mathématiques. In : Assude T., Grugeon B. (eds.) Actes du séminaire national de didactique des mathématiques (pp.41-54). Paris : équipe DIDEREM, Université de Paris VII.
		Boero P., Garuti R. (2000) Aspetti logico-linguistici e denamiche mentali. In : Drouhard J. P., Maurel M. (eds) Actes du séminaire SFIDA-9 à SFIDA-12 (Vol. 3, 1997-99, pp.XII/3-XII/6). Nice : IREM de Nice.
		Bolite Frant J., Rabello de Castro M. (2000) Proofs in Geometry : Different concepts build upon very different cognitive mechanisms In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Botana F., Valcarce J. (1998) Proofs in some dynamic geometry systems. In : International Conference on the teaching of mathematics (pp. 53-55). John Willey & Sons.
		Brousseau G., Gibel P. (1999) Analyse d'une séquence de classe destinée à développer certaines pratiques de raisonnement des élèves. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 64-71

		Camargo Urib, L. & Gutierrez, A. (2008) Some Aspects of the Sociocultural Practice of Proving in a University Course with Support of Cabri Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Campbell S. (1999) The problem of unity and the emergence of physics, mathematics, and logic in ancient Greek thought. In: Lentz L., Winchester, I. (eds.) Towards scientific literacy (Proceedings of the Fourth International Conference on History and Philosophy of Science and Science Teaching, pp. 143-152) -- ISBN 0-88953-223-0
		Canadas, M. & Castro, E. & Castro, E. (2008) An Inductive Reasoning Model in Linear and Quadratic Sequences. Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Chevallard Y. (1997) Rigueur et formalisme : à propos du curriculum secondaire. IX° Ecole d'été de Didactique des Mathématiques (Houlgate, 19-27 août 1997)
		Cnop I. (1998) A uniform Computer-supported approach to analysis: Process, concepts and proofs. In : International Conference on the teaching of mathematics (pp. 65-67). John Willey & Sons.

		David H. (1996) Making Sense of Reading Proof. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.284-285). South Africa, Centrahil: AMESA
		Delègue P. (1999) Production d'écrits associés à la conduite d'un raisonnement. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen.Tome 2, 80-86
		de Villiers M. (1996) The Role and Function of Proof in Dynamic Geometry. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.23-42). South Africa, Centrahil: AMESA
		de Villiers M. (2000) Developing understanding of proof within the context of defining quadrilaterals In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Douek N. (1998) Some remarks about argumentation and mathematical proof and their educational implications. First CERME international conference. Osnabrück, Germany.
		Douek N. (2000) Comparing argumentation and proof in a mathematics education In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Durand-Guerrier. V. (1996) Conditionals, necessity, and contingency in mathematics classes. The DIMACS Symposium on Symposium on Teaching Logic and Reasoning, Rutgers University, 25-26 July 1996.
		Duval R. (1998) Ecriture et compréhension : pourquoi faire écrire des textes de démonstration par les élèves. (pp. 79-98) Produire et lire des textes de démonstration. 23-24 janvier 1998. Laboratoire de Didactique des Mathématiques. Université de Rennes 1.
		Duval R. (1999) Ecriture, raisonnement, et découverte de la démonstration en mathématiques. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 29-50
		Duval R. (1999) L'analyse des textes de raisonnement. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 87-94

		El Glass B. (1998) L'apprentissage de la demonstration avec le logiciel DEFI. In : Actes du Séminaire de Didactique de mathématiques et de l'EIAO (pp. 3-33). Rennes : IRMAR.
		Egret M.-A. (1999) Problèmes d'écriture de démonstration chez des élèves de lycée en arithmétique. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 95-101

		Furinghetti F. & Paola D. (1996) Presentation of a Questionnaire for Evaluating the Influence of the Semantic Context in Mathematical Proof. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.94-100). South Africa, Centrahil: AMESA
		Furinghetti F., Paola D. (1999) Shadows of the semantic context on the students' mathematical proofs. In: Lentz L., Winchester, I. (eds.) Towards scientific literacy (Proceedings of the Fourth International Conference on History and Philosophy of Science and Science Teaching, pp. 272-279) -- ISBN 0-88953-223-0.

		Gal, H. & Lew, H-C. (2008) Is a rectangle a parallellogram? Towards a bypass of van Hiele level 3 decision making Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Garnica A. (1996) Fascination for the technical, decline of the critical: a study on rigorous proof and the training of mathematics teachers. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.257-280). South Africa, Centrahil: AMESA
		Ginat D. (1996) Design-with-Proof, Loop Invariants, and Mathematical Games. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.58-58). South Africa, Centrahil: AMESA
		Giorgiutti I. (1999) Quelques phénomènes didactiques mis en évidence par l'utilisation du logiciel DEFI. Séminaire de didactique. Université de Rennes 1.
		Goldenberg P. (1996) Why prove? To understand. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.184-184). South Africa, Centrahil: AMESA
		Gravina M. A. (1999) A demonstração em geometria: que possibilidades com o Cabri-geometry? Cabri World 99 (p.22). São Paulo: PUC/SP.
		Gravina M. A. (2000) The proof in geometry: essays in a dynamical environment. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Grenier D., Payan C. (1998) Discrete mathematics in relation to learning and teaching proof and modelization. First CERME international conference.
		Grenier D. (2000) Learning proof and modeling. Inventory of Teaching Practice and New Problems.In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Groupe CESAME (1999) Expérience de la nécessité et fonctions didactiques du récit. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 72-79

		Hanna G. (1996) The Ongoing Value of Proof. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.1-14). South Africa, Centrahil: AMESA
		Hanna G. (1999) Some factors in the decline of proof in the curriculum. In: Lentz L., Winchester, I. (eds.) Towards scientific literacy (Proceedings of the Fourth International Conference on History and Philosophy of Science and Science Teaching, pp. 345-352) -- ISBN 0-88953-223-0.
		Harada K., Gallou-Dumiel E., Nohda N. (2000) The Role of Figures in Geometrical Proof-Problem Solving (Types of Students' Apprehensions of Figures in France and Japan). In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Harel G. (1996) Transformational Reasoning in Proving. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.283-283). South Africa, Centrahil: AMESA
		Harel G. (1998) Greek versus modern mathematical thought and the role of Aristotelician causality in the mathematics of the renaissance: source for understanding epistemological obstacles in College students' conception of Proof. Plenary talk at the International Linear Algebra Society Conference. University of Wisconsin, Madison.
		Harel G. (1999). Students' understanding of proofs: a historical analysis and implications for the teaching of geometry and linear algebra. Linear Algebra and Its Applications, 302-303, 601-613.
		Harel G., Sowder L. (1999) Students' proof schemes. In: Lentz L., Winchester I. (eds.) Towards scientific literacy (Proceedings of the Fourth International Conference on History and Philosophy of Science and Science Teaching, pp. 354-396) -- ISBN 0-88953-223-0.
		Healy L., Hoyles C. (1998) Justifying and proving in school mathematics. Summary of the results from a survey of the proof conceptions of students in the UK. Research Report Mathematical Sciences, Institute of Education, University of London.
		Healy L. (2000) Connections between the empirical and the theoretical? Some considerations of students' interactions with examples in the proving process. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Hoyles C. (1996) Proving and Proof in School Mathematics. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.59-59). South Africa, Centrahil: AMESA
		Hoyles C. (1998) Steering Between Skills and Creativity: A Role for the Computer? In: Park H.S, Young M. Choe Shin H., Kim S.H. (eds) Proceedings of the First ICMI-East Asia Regional conference on Mathematics Education (pp. 211-226, pp. 227-242). Korea, Aug. 1998. (Also translated into Korean).
		Hoyles C. (1998) A Culture of Proving in School Mathematics? In: Tinsley J.D. Johnson D. C. (eds) Information and Communications Technologies in School Mathematics (IFIP proceedings, pp.170-181). London: Chapman & Hall
		Hoyles C., Healey L. (1998) Students Performance in Proving: Competence or Curriculum? Proceedings of First Conference of the European Society for Research in Mathematics Education August 1998, Osnabruck, Germany.
		Herbst P. G. (1999) The role of the teacher: What do the practices associated with two-column proofs say about the possibilities for argumentation? (Paper presented in the context of the symposium "Fostering argumentation in the mathematics class: The role of the teacher".) AERA 1999 annual meeting.
		Herbst P. (1999) Le travail du maître dans la gestion d'une situation de preuve. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 102-106
		Herbst P. (1999) Prouver et enseigner la démonstration dans la classe de mathématiques aux Etats-Unis. Ecole d'été de didactique des mathématiques. Plestin les Grèves
		Heuberger P. (1998) A mathematical software environment for teaching algebra, logic and term rewriting. In: International Conference on the teaching of mathematics (pp. 143-145). John Willey & Sons.
		Houdebine J. (1998) La diversité des textes de démonstration. (pp. 23-38) Produire et lire des textes de démonstration. 23-24 janvier 1998. Laboratoire de Didactique des Mathématiques. Université de Rennes 1.

		Ko, Y. & Knuth, E. (2008) Taiwanese Undergraduates' Performance Constructing Proofs and Generating Counteraxamples in Differentiation. Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Katz V. (1996) Proof by Induction. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.200-208). South Africa, Centrahil: AMESA

		Leon O. & Calderon D. (1996) La Argumentacion en la Solucion de Problemas Matematicos: El Recurso de la Prueba. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.155-182). South Africa, Centrahil: AMESA
		Luengo V. (1999) L'apprentissage de la preuve et le logiciel Cabri-Euclide. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen. Tome 2, 107-114

		Maher C. (1996) Are you convinced? Proof Making in Young Children. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.226-234). South Africa, Centrahil: AMESA
		Maher C. A., Kiczek R. D. (2000) Long Term Building of Mathematical Ideas Related to Proof Making. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Marafioti Garnica A. V. (1996) fascination for the technical, decline of the critical: a study on the rigorous proof in the training of mathematics teachers. In: Gagatsis A., Rogers L. (eds) Didactics and History of Mathematics (pp.161-192). Thessalonikis, Université Aristote.
		Mesquita A. (1996) Deductive reasoning in elementary school geometry. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.221-225). South Africa, Centrahil: AMESA
		Mariotti M. A. (1997) Justifying and Proving: Figural and Conceptual Aspects. in: Hejny M., Novotna J. (eds.) Proceedings of the European Conference on Mathematical Education (pp.21-26). Prague: Prometheus Publishing House.
		Mariotti M. A. (1999) Introducing pupils to proof: the mediation of Cabri. Cabri World 99 (p.20). São Paulo: PUC/SP.
		Mariotti M. A. (1999) Cabri, les constructions géométriques et le problème de la démonstration. Bailleul M. (ed.) Actes de la Xième école d'été de Didactique des Mathématiques. Caen : IUFM de Caen.Tome 2, 115-122
		Mariotti M. A. (2000) La démonstration en mathématiques. In: Actes de la conférence "Enseigner les Mathématiques". Enseigner les mathématiques. Juillet 2000, Grenoble.
		Meyer, M. (2008) From Discoveries to Verifications - Theoretical Framework and Inferential Analyses of Classroom Interaction Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Miykawa, T. & Herbst, P. (2008) Why Some Theorems are not Proven in Geometry Class: Dispositions and Constraints Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Movshovitz-Hadar N. (1996) On striking the Balance between Formal and Informal Proofs. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.43-52). South Africa, Centrahil: AMESA
		Movshovitz-Hadar N., Malek A. (1998) Transparent pseudo-proofs: a bridge to formal proofs. In International Conference on the teaching of mathematics (pp. 221-223). John Willey & Sons.

		Najoua H. A. (2001) Différents types d'argumentations mobilisés par des élèves tunisiens en début d'apprentissage de la démonstration. In : Dorier J. L. (ed.) Actes de la XI° école d'été de Didactique des Mathématiques. (à paraître)
		Neubrand M. (1996) Proving as part of dealing with theorems. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.200-200). South Africa, Centrahil: AMESA
		Nunokawa, K. & Fukuzawa, T. (2008) Operating on and Understanding of Problem Situations in Proving Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

		Pegg J. (1996) Interpreting students' approaches to geometric proofs: a neo-Piagetian approach. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.101-108). South Africa, Centrahil: AMESA
		Pelczer, I. & Voica, C. (2008) Proof in Romanian High School Introductory Analysis Textbooks - A Historical Overview Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Perrin D. (1997) Rigueur et formalisme(s). IX° Ecole d'été de Didactique des Mathématiques (Houlgate, 19-27 août 1997)
		Pluvinage F. (1998) La nature des objets mathematiques dans le raisonnement. Annales de Didactique et de Sciences Cognitives. 6, 125-138.
		Py D. (1998) La démonstration dans les EIAO en géométrie. (pp. 69-78) Produire et lire des textes de démonstration. 23-24 janvier 1998. Laboratoire de Didactique des Mathématiques. Université de Rennes 1.

		Reid D. (1996) The Role of Proving: Students and Mathematicians. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.185-199). South Africa, Centrahil: AMESA
		Retzer K. (1996) A Geometry Proof Making model. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.60-85). South Africa, Centrahil: AMESA
		Richard P. R. (2000) L'inférence figurative. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan. [English version available]
		Rodrigues, M. (2008) Reasoning and Proof in Classroom (9th grade) Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Rogalski M. (1997) Les processus de formalisation en mathématiques, problèmes didactiques. IX° Ecole d'été de Didactique des Mathématiques (Houlgate, 19-27 août 1997)
		Rosario, H. (2008) Puzzles and Proofs: From Informal to Formal Arguments Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Roulet G.: The Legacy of Piaget (2000) Some Negative Consequences for Proof and Efforts to Address Them. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Ruttkay Z. (1996) Proofs and proving in different contexts. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.286-296). South Africa, Centrahil: AMESA

		Scarafiotti A.R. & Alloatti F. (1996) Working out proofs together in the classroom. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.209-220). South Africa, Centrahil: AMESA
		Sekiguchi Y. (1996) What is really special in the Learning of Proof for Students?: An ethnographic analysis. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.241-256). South Africa, Centrahil: AMESA
		Sekiguchi Y.(2000) Mathematical Proof, Argumentation, and Classroom Communication: A Japanese Perspective. In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan. [Version française disponible]
		Sela, H. (2008) Coping with Mathematical Contradictions with Peers Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Selden A., Selden J. (1987) Errors and misconceptions in college level theorem proving. In: Proceedings of the Second International Seminar on Misconceptions and Educational Strategies in Science and Mathematics (pp. 457-470). Cornell University, July 1987.
		Selden A., Selden J. (1996) The role of logic in the validation of mathematical proofs. The DIMACS Symposium on Symposium on Teaching Logic and Reasoning, Rutgers University, 25-26 July 1996.
		Selden, J. & Selden, A. & McKee, K. (2008) Improving Advanced Students' Proving Abilities Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Senk, L. & Thomson, D. R. & Johnson, G. (2008) Reasoning and Proof in Hight School Textbooks from the USA Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.
		Stylianides, A. J. & Stylianides, G. J. (2008) 'Cognitive Conflict' as Mechanism for Supporting Developmental Progressions in Students' Knowledge about Proof Reasoning, proof and proving in mathematics education, Proceedings of the ICME11- TSG-18, Monterrey, Mexico.

		Tall D. O. (1992) Construction of objects through definition and proof. Working paper for the AMT working group of PME.
		Tall D. O. (1995) Cognitive development, representations and proof. Paper presented at the conference on Justifying and Proving in School Mathematics Institute of Education, London, December 1995, pp. 27&endash;38.

		van Asch B. (1996) Does an engineer need proof? In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.53-57). South Africa, Centrahil: AMESA
		Vernikos S., Dinou A., Chionidou M. (1998) The lost honour of the proof. In : International Conference on the teaching of mathematics (pp. 305-307). John Willey & Sons.
		Vinner S. (1988) Visual considerations in college calculus - students and teachers. Proceedings of the Third International Conference on the Theory of Mathematics Education (pp. 109-116).

		Winicki Landman G.(2000) Making possible the discussion of "Impossible in Mathematics" In: Boero P., Harel G., Maher C., Miyazaki M. (eds) Proof and Proving in Mathematics Education, Proceedings of the ICME9- TSG-12, Tokyo/Makuhari, Japan.
		Wittmann E. (1996) Opertaive Proofs in Primary Mathematics. In: de Villiers M., Furinghetti F. (eds) Proofs and Proving: Why, When and How? Proceedings of the ICME6-TG8 (pp.15-22). South Africa, Centrahil: AMESA