|
|
|
Abrougui-Hattab H.
(1998) La démonstration en géométrie dans l'enseignement
mathématique secondaire tunisien. Thèse. Grenoble :
Université Joseph Fourier.
|
|
|
|
Ag Almouloud S. (1992) Aide logicielle à
la résolution de problèmes avec preuve : des séquences
didactiques pour l'enseignement de la démonstration. Recherches
en didactique des mathématiques. 12(2/3) 271-318.
|
|
|
|
Agassi J. (1980) On Mathematics Education :
the Lakatosian Revolution. For the Learning of Mathematics 1, 27-31
|
| |
|
Alcock, L., Inglis, M. (2008) Doctoral
students’ use of examples in evaluating and proving conjectures
Educational Studies in Mathematics 69/2, 111-129 |
| |
|
Aigner M. Ziegler G. M.
(2002) Raisonnements divins. (trad. française de
Proofs from The Book). Berlin: Springer-Verlag |
|
|
|
Alibert D., Thomas M. (1991) Research
on Mathematical Proof. In: Tall D. (ed.) Advanced Mathematical Thinking.
(pp. 215-230). Dordrecht: The Netherlands: Kluwer Academic Publishers.
|
|
|
|
Anderson J. A. (1994) The Answer is not
the Solution - Inequalities and Proof in Undergraduate Mathematics. International
Journal of Mathematics Education in Science and Technology 25,
655-663.
|
|
|
|
Anderson J. R. (1983) Acquisition of
Proof Skills in Geometry. In : Carbonnel J. G., Michalski R., Mitchell
T. (eds.) Machine Learrning: An Artificial Intelligence Approach
( pp.191-219). Palo Alto, CA : Tioga.
|
| |
|
Anghileri J., Beishuizen
M., van Putten K. (2002)
From Informal Strategies to Structured Procedures: mind the gap! Educational
studies in mathematics Volume 49, Issue 2, pp. 149-170 |
|
|
|
Antibi A. (1988) Etude sur l'enseignement
de méthodes de démonstration. Enseignement de la notion
de limite : reflexions, propositions. Thèse d'état.
Toulouse : Université Paul Sabatier.
|
|
|
|
Antibi A. (1993) Qualche considerzione sulla dimostrazione. L'educazione
matematica 3(4) 135-140.
|
| |
|
Antonini S. and Mariotti M. A. (2008)
Indirect proof: what is specific to this way of proving? ZDM The International
Journal on Mathematics Education 40/3, 401-412 |
|
|
|
Arsac G. (1987) L'origine de la démonstration
: essai d'épistémologie didactique. Recherches en didactique
des mathématiques 8(3) 267-312.
|
|
|
|
Arsac G. (1988) Les recherches actuelles sur l'apprentissage de
la démonstration et les phénomènes de validation
en France. Recherches en didactique des mathématiques. 9(3)
247-280.
|
|
|
|
Arsac G., Chapiron G., Colonna A., Germain G.,
Guichard Y., Mante M. (1992) Initiation au raisonnement
déductif au collège. Lyon : Presses Universitaires de
Lyon.
|
|
|
|
Arsac G., Mantes M. (1997) Situations d'initiation au raisonnement
déductif. Educational Studies in Mathematics 33, 21-43.
|
|
|
|
Arsac G. (1998) Le limites d'un enseignement déductif de
la géométrie. Petit X 47, 5-31.
|
|
|
|
Arsac G. (1998) L'axiomatique de Hilbert et l'enseignement
de la géométrie au collège et au lycée.
Lyon : Aléas & IREM de Lyon.
|
|
|
Arsac G. (1999) Variations et variables de la
démonstration géométrique. Recherches en didactique
des mathématiques 19(3) 357-390. |
| |
|
Artmann B. (1999) Euclid - the creation of mathematics.
Berlin: Springer Verlag. |
| |
|
Assude T., Douhard J.-P. (2005) L'institutionnalisation
et l'expérience de la nécessité mathématique.
In: Salin M.-H., Clanché P., Sarrazy B. (eds.) Sur la théorie
des situations didactiques (pp.99-108). Grenoble: La Pensée Sauvage.
|
| |
|
Avital S., Hansen R.T. (1976) Mathematical
Induction in the Classroom. Educational Studies in Mathematics 7,
399-411. |
|
|
|
Ayalon, M. and Even, R. (2008) Deductive
reasoning: in the eye of the beholder Educational Studies in Mathematics
69/3, 235-247
|
| |
|
Balacheff, N. (2008) The role of the
researcher’s epistemology in mathematics education: an essay on the
case of proof ZDM The International Journal on Mathematics Education
40/3, 501-512 |
|
|
|
Balacheff N. (1978) Les graphes de démonstration
: Outil pour l'étude des démonstrations naturelles.
Thèse de troisième cycle. Université Joseph Fourier.
|
|
|
|
Balacheff N. (1978) Une étude à l'aide de graphes,
de démonstrations mathématiques formulées par des
élèves. Educational Studies in Mathematics. 11(1)
91-111.
|
|
|
|
Balacheff N. (1982) Preuve et démonstration en mathématiques
au collège. Recherches en didactique des mathématiques.
3(3) 261-304.
|
|
|
|
Balacheff N. (1987) Processus de preuves et situations de validation.
Educational Studies in Mathematics. 18(2) 147-176.
|
|
|
|
Balacheff N. (1987) Cognitive versus situational analysis of problem-solving
behaviors. For the learning of mathematics 6(3) 10-12
|
|
|
|
Balacheff N. (1988) Etude des processus de preuve chez des
élèves de Collège. Thèse de Doctorat d'état
ès-sciences. Grenoble : Université Joseph Fourier. Ouvrage
en deux volumes :
Volume 1 : Cadre théorique et étude
de cas les polygones (type de preuves, traitement des
réfutations, question de la définition)
Volume 2 : deux études de cas en classe
(somme des angles d'un triangle, triangle tronqué) et conclusions
|
|
|
|
Balacheff N. (1988) Aspects of proof in pupils' practice of school
mathematics. In: Pimm D. (ed.) Mathematics, Teachers and Children
(pp.316-230). London : Hodder and Stoughton.
|
|
|
|
Balacheff N. (1991) Treatment of refutations : aspects of the
complexity of a constructivist approach of mathematics learning. In :
Von Glasersfeld E. (ed.) Radical constructivism in Mathematics Education
(pp.89-110). Dordrecht : Kluwer Academic Publisher.
|
|
|
|
Balacheff N. (1991) Benefits and limits of social interaction:
The case of teaching mathematical proof. In : Bishop A., Mellin-Olsen
S., Van Dormolen J. (eds.) Mathematical knowledge : Its growth through
teaching (pp. 175-192). Dordrecht : Kluwer Academic Publisher.
|
|
|
|
Balacheff N. (1999) Contract and
Custom: Two registers of didactical interaction (trans. and ed. by P.
Herbst). The Mathematics Educator (University of Georgia)
9(2) 23-29.
|
| |
|
Balacheff
N. (1999) Apprendre la preuve. J. Sallantin, J. Szczeciniarz
(eds.) Le concept de preuve à la lumière de l'intelligence
artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.197-236 |
| |
|
Balacheff N. (2000) Procesos de
prueba en los alumnos de matemáticas. Bogotá: una empresa
docente. |
| |
|
Balacheff N. (2001) Imparare la prova.
Bologna : Pitagora Editrice. |
| |
|
Balacheff N. (2001) Imparare la prova. (trad.
B. Martini, original français : "Apprendre la preuve",
1999). La matematica e la sua didattica 2, 116-149 |
| |
|
Balacheff N. (2002) The researcher
epistemology: a deadlock from educational research on proof. Fou
Lai Lin (ed.) 2002 International Conference on Mathematics - "Understanding
proving and proving to understand". Taipei: NSC and NTNU (pp.
23-44) |
|
|
|
Balacheff N., Laborde C. (1985) Langage
symbolique et preuves dans l'enseignement mathématique : une approche
socio-cognitive. In : Mugny G. (ed.) Psychologie sociale du développement
cognitif (pp.203-224). Berne : Ed. P. Lang.
|
| |
|
Barallobres G. (2004)
La validation intellectuelle dans l'enseignement introductif de l'algèbre.
Recherches en didactique des mathématiques 24 (2/3) 285-328
|
|
|
|
Barbin E. (1988) La démonstration mathématique :
significations épistémologiques et questions didactiques.
Bulletin APMEP 366, 591-620.
|
|
|
|
Barbin E. (1994) Quelles conceptions épistémologiques
de la démonstration pour quels apprentissages ? Repères
IREM 12, 93-113.
|
|
|
|
Barbin E. (1995) La démonstration aura-t-elle encore une
place dans l'enseignement des mathématiques ? Bulletin APMEP
397, 368-385.
|
| |
|
Barbin E. (1996) Quels conceptions épistémologiques
de la démonstration pour quels apprentissages ? in : L'enseignement
des mathématiques : des repères entre savoirs, programmes
et pratiques (pp.195-210). Pont-à-Mousson : Topiques éditions |
| |
|
Barbin E. (2000) Pourquoi démontrer ? Les cahiers de
Science & Vie. 55, 42-48 |
| |
|
Barbin E., Duval R., Houdebine
J., Laborde C. (2001) Analyse de textes de démonstration
dans des cadres théoriques différents. Barbin E., Duval R.,
Giorgiutti I., Houdebine J., Laborde C. (eds.) Produire et lire des textes
de démonstration. Paris : Ellipse. 3-30 |
| |
|
Barbin
E. (2001) La démonstration : pulsation entre le
discursif et le visuel. Barbin E., Duval R., Giorgiutti I., Houdebine J.,
Laborde C. (eds.) Produire et lire des textes de démonstration.
Paris : Ellipse. 31-62 |
| |
|
Barbin, E. (2007) On the
arguments of simplicity in Elements and schoolbooks of geometry Educational
Studies in Mathematics 66/2, 225-242 |
|
|
|
Bartolini Bussi M., Pergola M. (1996)
History in the Mathematics Classroom: Linkages and Kinematic Geometry.
In: Jahnke H. N., Knoche N., Otte M. (hrsg.) Geschichte der Mathematik
in der Lehre. Goettingen: Vandenhoeck & Ruprecht.
|
|
|
|
Barwise J., Etchemendy J. (1991) Visual
Information and Valid reasoning. In: Zimmermann W., Cunningham S. (eds.)
Visualization in Teaching and Learning Mathematics (Notes Series,
Vol. 19, pp. 9-24). Providence, RI: MAA.
|
| |
|
Battie
V. (2007) Exploitation d’un outil épistémologique
pour l’analyse de raisonnements d’élèves confrontés
à la résolution de problèmes en arithmétique
Recherche en didactique des Mathématiques 27/1 |
| |
|
Beck I., Vaillant M. (1998) Comprendre un texte
argumentatif. Annales de didactique et de sciences cognitives 6,
89-115. |
| |
|
Beck I. (2001)
Une approche linguistique de textes de raisonnement Barbin E., Duval R.,
Giorgiutti I., Houdebine J., Laborde C. (eds.) Produire et lire des textes
de démonstration. Paris : Ellipse. 87-110 |
|
|
|
Bell A. (1976). The learning of general mathematical
strategies. Ph.D. Nottingham : University of Nottingham.
|
|
|
|
Bell A. (1976) A study of pupils proof-explanation in mathematical
situations.Educational Studies in Mathematics 7(1/2) 23-40.
|
|
|
|
Bell A. (1979) The learning of process aspects of mathematics.
Educational Studies in Mathematics 10(6) 361-387.
|
| |
|
Bellard N., Lewillion M.
(2001) Schémas pour la compréhension des théorèmes
en classe de quatrième. Barbin E., Duval R., Giorgiutti I., Houdebine
J., Laborde C. (eds.) Produire et lire des textes de démonstration.
(pp. 129-142) Paris : Ellipse. |
| |
|
Benbachir A, Zaki M. (2001), Production
d'exemples et de contre-exemples en analyse: étude de cas en première
d'université Educational Studies in Mathematics 47
(3) pp. 273-295 |
|
|
|
Berggren J. L. (1990) Proof, pedagogy and
the practice of mathematics in Medieval Islam. Interchange 21(1)
36-48.
|
|
|
|
Bergue D., Borreani J., Poulain B.
(1990) De la Figure vers la Démonstration. Petit X 27, 5-39.
|
|
|
|
Bernat Ph. (1993) CHYPRE : un logiciel d'aide
au raisonnement. Repères-IREM 10, 25-46.
|
|
|
|
Bernat Ph. (1994) Conception et réalisation d'un environnement
interactif d'aide à la résolution de problème. CHYPRE
: un exemple pour la démonstration en géométrie.
Thèse. Nancy : Université de Nancy.
|
|
|
|
Bernat Ph. (1996) Modélisation des connaissances et de
l'interaction dans un logiciel de résolution de problèmes
en géométrie : CHYPRE. Sciences et Techniques Educatives
3(2) 163-189.
|
| |
|
Berthelot R., Salin M.-H. (2001) L'enseignement de la géométrie
au début du collège. Comment concevoir le passage de la géométrie
du constat à la géométrie déductive. Petit x
56, 5-34. |
|
|
|
Bloch I. (2000) L'enseignement de l'analyse à la charnière
lycée / université: savoirs, connaissances et conditions
relatives à la validation. Thèse. Université
de Bordeaux 1.
|
| |
|
Bloch
I. (2003) Teaching functions in
a graphic milieu: What forms of knowledge enable students to conjecture
and prove? Educational Studies in Mathematics 52(1), 3-28 |
| |
|
Blum W., Kirsch A. (1991) Preformal proving:
examples and reflections. Educational Studies in Mathematics 22(2)
183-203. |
|
|
|
Boero P.
(2002) Educational choices Fou Lai Lin (ed.)
2002 International Conference on Mathematics - "Understanding
proving and proving to understand"Taipei: NSC and NTNU (pp. 248-254)
|
| |
|
Borda M. C., Skovsmose O. (1997) The ideology
of certainty in mathematics education. For the Learning of Mathematics
17(3) 17-23. |
| |
|
Braconne A. (1987) Compréhension
de la démonstration en géométrie chez les professeurs
et les élèves du secondaire. Mémoire de Maîtrise
(267 pages). Québec : Université Laval. |
| |
|
Braconne-Michoux A.. (2001) La
preuve en mathématiques chez les élèves du secondaire
: une comparaison franco-britanique. Mémoire de DEA. Université
de Paris 7. |
| |
|
Breton P., Gauthier G. (2000) Histoire
des théories de l'argumentation. Coll. Repères. Paris
: La décourverte |
| |
|
Brocardo J.
(2004) Analizar hipo'tesis, argumentar y demostrar: un ejemplo en el contexto
de un poryecto curricular centrado en la exploracio'n de investigationes
matematic'as. in: Giménes J., Santos L., da Ponte J. P. (eds.) La
actividad matemàtica en el aula. (pp.71-78) Barcelona: Grao'. |
| |
|
Brown J. R. (1999) Philosophy of mathematics: An
introduction to the world of proofs and pictures. New York: Routledge. |
|
|
|
Burn R. P.
(2002) Some comments on the ``Role of proof in comprehending
and teaching elementary linear algebra' by F. Uhlig Educational Studies
in Mathematics 51(3), 183-184 |
| |
|
Cabrol-Hatimi C. (1999) Un Modèle de Formalisation des
Argumentations Naturelles basé sur la notion de Force Persuasive.
Application à la Planification des Idées. Thèse.
Univesité de Toulouse 1. |
|
|
|
Calderon D., Leon O. L. (1997) La
argumentacion en la solucion de problemas matematicos en el aula. Revista
EMA 2(2) 132-143.
|
| |
|
Cantoral R., Farfan R.M.
(2004) La sensibilité à la contradiction. Recherches en
didactique des mathématiques 24 (2/3) 137-168 |
|
|
|
Cardoso V. C.
(1997) As teses fabilista
a racionalista de Lakatos e a educação matemática.
Dissertaçao de Mestrado. Universidad Estadual Paulista. Campus
Rio Claro.
|
|
|
|
Carpentier F.-G. (1999) Modélisation
des connaissances et de la démonstration pour l'E.I.A.O. de la
géométrie. Thèse. Université de Rennes.
|
| |
|
Casselman B. (2000) Pictures and Proofs. Notices
of the AMS 47 (10) 1257-126. |
| |
|
Casselman B. (2001) Images et preuves.
Gazette des mathématiciens 88, 35-52. |
| |
|
Castella C. (2001) Un objet de savoir
spécifique en jeu dans la résolution de problèmes :
le fonctionnement mathématiques. Recherche en didactique des mathématiques
20(3) 331-380. |
|
|
|
Chayé J. (1971) Apprentissage de la déduction.Educational
Studies in Mathematics 4(2)
|
|
|
|
Chazan D. (1989) Ways of knowing: High school
students' conceptions of mathematical proof. Dissertation Abstracts
Order # 9000860. Ann Arbor, MI: UMI.
|
|
|
|
Chazan D. (1990) Quasi-empirical views of mathematics and mathematics
teaching. Interchange 21(1) 14-23.
|
|
|
|
Chazan D. (1993) High School geometry Student's Justification
for their Views of Empirical Evidence and Mathematical Proof. Educational
studies in Mathematics 24(4) 359-387.
|
| |
|
Chino K.
(2004) The function of proof students construct to a proof problem
(in Japanese). Tsukuba Journal of Educational Study in Mathematics 22,
53-62 |
|
|
|
Chouraqui E., Inghilterra C. (1996)
A Model of Case-Based Reasoning for Solving Problems of Geometry ina Tutoring
System. In: Laborde J.-M. (ed.) Intelligent Learning Environments:
The Case of Geometry (pp.1-16). Berlin: Springer-Verlag.
|
|
|
|
Coe R., Ruthven K. (1994) Proof Practice
and Constructs. British Educational Research Journal 20, 41-53.
|
| |
|
Combes M.-C., Bonafé F.
(2001) Narration de recherche, points d'appui pour la démonstration.
Barbin E., Duval R., Giorgiutti I., Houdebine J., Laborde C. (eds.) Produire
et lire des textes de démonstration. Paris : Ellipse. 143-160 |
|
|
|
Coppé S. (1993) Processus de vérification
en mathématiques chez les élèvezs de premère
scientifique en situation de devoir surveillé. Thèse.
Lyon: Université Caude Bernard.
|
|
|
|
Coppé S. (1997) Etude des processus de verification mis
en œuvre par les eleves de premiere S. Bulletin de l'APMEP
411, 471-484.
|
|
|
Coppé S., Arsac G., Guichard Y. (1996) Vérifications
en devoir surveillé. Repères 22, 13-32. |
|
|
|
Corredor O. L. L., Calderón D. I. (2001) Validación
y argumentación de lo matemático en el aula. Revista
Latinoamericana de investigación en matemática educativa
4(1) 5-21.
|
|
|
|
Daconto E. (1996) Sul come intendere la dimostrazione.
La matematica e la sua didattica 2, 153-165
|
| |
|
Dauben J. (1996) Arguments, logic, and proof:
Mathematics, logic, and the infinite. In: H. Jahnke, N. Knoche, M. Otte
(eds.) History of mathematics and education: Ideas and experiences.
Gottingen: Vandenhoeck & Ruprecht |
|
|
|
Davis Ph. J. (1993) Visual Theorems.Educational
studies in Mathematics 24(4) 333-344.
|
|
|
|
Dawson A.J. (1971) A Fallibilistic Model for Instruction. Journal
of Structural Learning 1(3) 1-19.
|
|
|
DeFranco T. C., Hilton P. (2000)
Característiques distintives entre processos mecànics i processos
humans de resolució de problems. Butlletí de la Societat
Catalana de Matemàtiques 15 (1) 29-34 |
|
|
Delahaye J.-P. (2000) Raccourcis dans les démonstrations.
Pour la Science 268, 96-10 |
| |
|
Demongeot M. C., Gandit M. (2003)
Faire la figure, coder, écrire les hypothèses, démontrer
que ... Petit x, 63, 30-50 |
| |
|
De Villiers, M., Garner, M.
(2008) Problem solving and proving via generalisation Learning
and Teaching Mathematics, 5, 19-25 |
| |
|
De Villiers, M. (2006). Recycling
Cyclic Polygons Dynamically Mathematics in School, Vol. 35, 3, pp.2-4 |
| |
|
De Villiers, M. (2004). The role and
function of quasi-empirical methods in mathematics. Canadian Journal
of Science, Mathematics and Technology Education, 4(3), 397-418. |
|
|
|
de Villiers M. D. (1990) The role and function
of proof in mathematics. Pythagoras 24, 17-24.
|
|
|
|
de Villiers M. D. (1991) Pupils' need for conviction and explanation
within the context of geometry. Pythagoras 26,18-27.
|
|
|
|
de Villiers M. D. (1995) An alternative introduction to proof
in dynamic geometry. Micromath 11(1) 14-19.
|
|
|
|
de Villiers M. (1998) An alternative approach to proof in dynamic
geometry. In : Lehrer R., Chazan D. (eds.) New directions in teaching
and learning geometry (pp. 369-393). Lawrence Erlbaum.
|
|
|
|
de Villiers M. (1999) Rethinking Proof with Sketchpad. Key Curriculum
Press.
|
| |
|
de Villiers M., Mudaly V. (2000) Learners' Needs
for Conviction & Explanation within the Context of Dynamic Geometry.
Pythagoras 52, 20-23 |
| |
|
de Villiers M. (1986) The role
of axiomatization in mathematics & mathematics teaching. |
|
|
|
Dhombres J. (1993) Is one Proof Enough? Travels
With a Mathematician of the Baroque Period. Educational studies in
Mathematics 24(4) 401-419.
|
|
|
|
Dodge W., Goto K., Mallinson P.
(1998) "I would consider the following to be a proof..." Mathematics
Teacher. 91(8) 652-653.
|
| |
|
Dörfler
W. (2002) Formation
of mathematical objects as decision making. Mathematical thinking and
learning 4(4) 337-350 |
| |
|
Doerfler
W. (2002) Diagrams
as means and objects of mathematical reasoning Fou Lai
Lin (ed.) 2002 International Conference on Mathematics - "Understanding
proving and proving to understand". Taipei: NSC and NTNU (pp.45-60) |
| |
|
Dorier J.-L. (1996) The role of formalism in
the teaching of the theory of vector spaces. Linear application and its
applications 275-276 (1998) 141-260. |
| |
|
Dorier J-L, Robert A., Rogalski
M. (2002) Some comments on `The
role of proof in comprehending and teaching elementary linear algebra' by
F. Uhlig Educational Studies in Mathematics 51(3), 185-192 |
| |
|
Douek N. (1999) Argumentation and conceptualization
in context: a case study on sunshadows in primary schools. Educational
Studies in Mathematics 39(1/3) 89-110 |
|
|
|
Dowson A. J. (1969) The implication of the
work of Popper, Polya and Lakatos for a model of mathematics instruction.
Ph.D. Thesis. Edmonton: University of Alberta.
|
|
|
|
Dreyfus T., Hadas N. (1996) Proof as answer
to the question why. Zentralblatt für Didaktik der Mathematik
28 (1) 1-5.
|
| |
|
Dreyfus T. (1999) Why Johnny can't prove. Educational
Studies in Mathematics 38(1/3) 85-109 |
| |
|
Dreyfus T. (2000) La demostración como
contenido a lo largo del curriculum. In: Gorgorió N., Deulofeu J.,
Bishop A. (eds.) Matemáticas y Educación: Retos y cambios
desde una perspectiva internacional (pp. 125-134). Barcelona: Graó
ICE-UB. |
| |
|
Dreyfus T. (2000). Some views on proofs by teachers
and mathematicians. In: Gagatsis A. (ed.) Proceedings of the 2nd Mediterranean
Conference on Mathematics Education. Nikosia (Vol. 1, pp. 11-25). Cyprus:
The University of Cyprus. |
| |
|
Dubinsky Ed (2000) Meaning and formalism in mathematics.
International Journal of Computers for Mathematical Learning 3 (5)
211-240. |
|
|
|
Durand-Guerrier V. (1996) Logique
et raisonnement mathématique. Défense et illustration de
la pertinence du calcul des prédicats pour une approche didactique
des difficultés liées à l'implication. Thèse.
Lyon: Université Claude Bernard.
|
|
|
|
Durand-Guerrier V. (1999) L'élève, le professeur
et le labyrinthe. Petit X 50, 57-79.
|
| |
|
Durand-Guerrier
V., Arsac G. (2003)
Méthodes de raisonnement et leurs modélisations logiques.
Spécificité de l'analyse. Quelles implications didactiques.
Recherches en didactique des mathématiques 23 (3) 295-342 |
| |
|
Durand-Guerrier, V., Arsac,
G. (2005) An epistemological and didactic study of a specific
calculus reasoning rule. Educational Studies in mathematics, Vol.
60 (2) p. 149-172. |
| |
|
Durand-Guerrier, V.
(2008) Truth versus validity in mathematical proof ZDM The International
Journal on Mathematics Education 40/3, 373-384 |
|
|
Duval R. (1990) Pour une approche cognitive de
l'argumentation. Annales de Didactique et de Sciences Cognitives 3,
195-221. Strasbourg : IREM de Strasbourg |
|
|
|
Duval R. (1991) Structure du raisonnement déductif
et apprentissage de la démonstration. Educational Studies in
Mathematics 22(3) 233-261.
|
|
|
|
Duval R. (1992) Argumenter, démontrer, expliquer : continuité
ou rupture cognitive. Petit X 31, 37-61.
|
|
|
Duval R., Egret M.-A. (1993) Introduction
à la démonstration et apprentissage du raisonnement déductif.
Repère-IREM 12, 114-140. |
|
|
Duval R. (2000) Ecriture, raisonnement et découverte
de la démonstration en mathématiques. Recherches en didactique
des mathématiques 20 (2) 135-170 |
| |
|
Duval R. (2001)
Ecriture et compréhension : pourquoi faire écrire des textes
de démonstration par les élèves ? Barbin E., Duval
R., Giorgiutti I., Houdebine J., Laborde C. (eds.) Produire et lire
des textes de démonstration. Paris : Ellipse.183-206 |
| |
|
Duval R. (2006)
A Cognitive Analysis of Problems of Comprehension in a Learning of Mathematics
Educational Studies in Mathematics Vol. 61 n°1, pp. 103-131
|
| |
|
Duval R.
(2002) Proof understanding in mathematics: what ways for students?
Fou Lai Lin (ed.) 2002 International Conference on
Mathematics - "Understanding proving and proving to understand".
Taipei: NSC and NTNU (pp. 61-77) |
|
|
|
Gaud D., Guichard J.-P. (1984) Apprentissage
de la démonstration. Petit x 4, 5-25. |
|
|
|
Galbraith P. L. (1981) Aspects of proving:
A clinical investigation of process. Educational Studies in Mathematics
12, 1-28. |
|
|
|
Gandit M., Masse-Demongeot M.-C.
(1996) Le vrai et le faux en mathématiques au collège
et au lycée. Grenoble : IREM, Université Joseph Fourier. |
| |
|
Gandit M. (2004)
Preuve ou démonstration, un thème pour la formation des enseignants
de mathématiques (deuxième partie). Petit X 66, 49-82 |
| |
|
Gandit M.
(2004) Preuve ou démonstration, un thème pour la formation
des enseignants de mathématiques (première partie). Petit
X, 65, 36-49 |
| |
|
Gandit M.
(2003) La preuve (démonstration) un thème pour la formation
des enseignants de mathématiques. Mémoire de DEA. Université
de Grenoble. |
|
|
|
Gherpelli L., Malara N. A. (1994)
Argomentazione in Aritmetica. In: Basso M. et al. (eds.) Numeri
e proprietà (pp.55-60). Parma: CSU. |
|
|
|
Gibson D. (1998) Students' use of diagrams
to develop proofs in an introductory analysis course. In: Schonfeld A.,
Kaput J., and E. Dubinsky E. (eds.) Research in collegiate mathematics
education III. (Issues in Mathematics Education Volume 7 pp.284-307).
American Mathematical Society. |
| |
|
Gousseau-Coutat S. (2005) Connaître
et reconnaître les théorèmes de la géométrie.
Petit X 67, 12-32 |
| |
|
Govender, R. & De Villiers, M.
(2004). A dynamic approach to quadrilateral definitions. Pythagoras, June
2004, No. 59, pp. 34-45. |
| |
|
Govender, R., de Villiers
M. (2002) : Constructive
evaluation of definitions in a sketchpad context Paper presented at AMESA
2002, South Africa |
|
|
|
Gras R., Ag Almouloud S. (1994) Le temps,
analyseur de comportements d'élèves dans l'environnement
DEFI.Recherches en Didactique des Mathématiques 14(1/2)
251-274. |
|
|
|
Gras R., Giorgiutti I. (1996) Computer Aided Proofs in
School Geometry. In: Laborde J.-M. (ed.) Intelligent Learning Environments:
The Case of Geometry (pp.63-81). Berlin: Springer-Verlag. |
|
|
|
Grenier D., Payan C.
(1998) Spécificité de la preuve et de la modélisation
en mathématiques discrètes. Recherches en Didactique
des Mathématiques 18(1) 59-100. |
| |
|
Gruenwald, N., Klymchuk S. (2003) Using counter-examples in teaching Calculus. The New Zealand Mathematics Magazine. ISSN: 0549-0510. Vol 40, No 2, pp.33-41. |
|
|
Guin D. (1996) A Cognitive Analysis of Geometry
Proof Focused on Intelligent Tutoring Systems. In: Laborde J.-M. (ed.) Intelligent
Learning Environments: The Case of Geometry (pp.82-93). Berlin: Springer-Verlag. |
|
|
|
Guichard J.-P. (2001)
A partir de quelques textes historiques. Barbin E., Duval R., Giorgiutti
I., Houdebine J., Laborde C. (eds.) Produire et lire des textes de
démonstration. (pp.63-86) Paris : Ellipse. |
| |
|
Habermas J. (2001) Vérité et
justification. Paris : Gallimard. |
| |
|
Habermas J. (1999) Wahrheit und rechtfertigung.
Frankfurt : Suhrkamp Verlag. |
|
|
|
Hadar N. (1977) Children's conditional reasoning:
an investigation of 5th graders' ability to distinguish between valid
and fallacious inferences.Educational Studies in Mathematics 9,
98-140.
|
|
|
|
Hadar N. (1977) Children's conditional reasoning : an investigation
of 5th graders" ability to distinguish betwee, valid and fallacious inferences.
Educational Studies in Mathematics 8(4) 413-418.
|
| |
|
Hadas N., Hershkowitz R.,
Schwarz B. B. (2000) : The
role of contradiction and uncertainty in promoting the need to prove in
Dynamic Geometry environments Educational Studies in Mathematics,
Vol. 44, Issues 1&2, Keith Jones, Ángel Gutiérrez Maria
Alessandra Mariotti (eds.) 127-150 |
| |
|
Hadas, N., Hershkowitz,
R. & Schwarz, B. (2002). Analyses of activity design
in geometry in the light of student actions. Canadian Journal of Science,
Mathematics and Technology Education, 2(4), 529-552. |
| |
|
Haimo, Deborah Teppe (1993):
Experimentation and Conjecture Are Not Enough American Mathematical Monthly,
vol. 102 n2 p. 102-12 |
|
|
|
Halmos P.R. (1971) How to Write Mathematics.L'enseignement
mathématique 2(16) 123-152.
|
|
|
|
Hanna G. S. (1971) Testing students' ability
to do geometry proof : a comparaison of three objective item types.Journal
for Research in Mathematics Education 2, 213-217.
|
|
|
|
Hanna G. (1983) Rigorous proof in mathematics
education. Toronto : The Ontario Institut for Studies in Education.
|
|
|
|
Hanna G. (1989) More than formal proof. For the learning of
mathematics 9(1), 20-25.
|
|
|
|
Hanna G. (1990) Some pedagogical aspects of proof. Interchange
21(1) 6-13.
|
|
|
|
Hanna G. (1991) Mathematical proof. In: Tall D. (ed.) Advanced
Mathematical Thinking. Kluwer, Dordrecht.
|
|
|
|
Hanna G. (1994, March). Some pedagogical aspects of proof. Alon
Lemoreh ha Mathematika. 7-12. (In Hebrew)
|
|
|
|
Hanna G. (1995) Challenges to the Importance of Proof. For
the learning of Mathematics 15(3) 42-49.
|
|
|
|
Hanna G. (1995) Review of M. Detlefsen (ed.) Proof and Knowledge
in Mathematics. Educational Studies in Mathematics 28 (1) 87-90.
|
|
|
|
Hanna G. (1996) The role of proof in mathematics education. Joetsu
Journal of Mathematics Education 11, 155-168. (In Japanese)
|
|
|
|
Hanna G. (1998) Proof as understanding in geometry. Focus on
Learning Problems in Mathematics 20(2&3) 4-13.
|
|
|
|
Hanna G., Jahnke N. (1993) Proof and Application. Educational
studies in Mathematics 24(4) 421-438.
|
|
|
|
Hanna G., Jahnke N. (1996) Proof and Proving. In: Bishop
A. et al (eds.) (pp.877-908). International Handbook of Mathematics
Education. Dordrecht: Kluwer Academic Publishers.
|
| |
|
Hanna G. (2000) A critical examination of three
factors in the decline of proof. Interchange 31(1) 21-33. |
| |
|
Hanna G. (2000)
: Proof, Explanation and Exploration: An Overview. Educational
Studies in Mathematics, Vol. 44, Issues 1&2, Keith Jones, Ángel
Gutiérrez Maria Alessandra Mariotti (eds.) 5-23 |
| |
|
Hanna G., Jahnke N., (2002)
Another Approach to Proof: Arguments from Physics, ZDM vol. 34(1). |
| |
|
Hanna, G. & Barbeau,
E. (2002) : What is Proof? In Baigrie, B. (Ed.) History
of Modern Science and Mathematics. (4 volumes). Charles Scribner's Sons,
Vol. 1, 36-48. ISBN 0-684-80636-3 |
| |
|
Hanna, G. & Jahnke, H. N. (2002).
Arguments from physics in mathematical
proofs: an educational perspective. For the Learning of Mathematics,
22 (3), 38-45. |
| |
|
Hanna, G., & Jahnke, N. (2004).
Proving and modelling. In Henn, H-W & Blum, W. (Eds.) Proceedings
of the ICMI study 14: Applications and Modelling in Mathematics Education,
109-114, University of Dortmund, Germany. |
| |
|
Hanna G.; de Bruyn Y.;
Sidoli N.; Lomas D. (2004) Teaching Proof in the Context
of Physics ZDM 36 (3), pp. 82-90 |
| |
|
Hanna, G. (2006). Review
of Mancosu, P., Jørgensen, K.F. and Pedersen, S.A. (Eds.). (2005).
Visualization, Explanation and Reasoning Styles in Mathematics. Series:
Synthese Library, Vol. 327. Canadian Journal of Science, Mathematics
and Technology Education, 6(2), 201-205. |
| |
|
Hanna, G. and Sidoli, N.
(2007). Visualisation and proof: A brief survey of philosophical perspectives.
ZDM. The International Journal on Mathematics Education,
39(1-2), 73-78. |
| |
|
Hanna, G. and Barbeau, E. (2008) Proofs
as bearers of mathematical knowledge ZDM The International Journal on Mathematics
Education 40/3, 345-353 |
| |
|
Harel G. (2002)
DNR-based instruction: its application in developing mathematics teachers'knowledge
base, particularly their proof scheme. Fou Lai Lin (ed.)
2002 International Conference on Mathematics - "Understanding proving
and proving to understand". Taipei: NSC and NTNU (pp.78-90) |
|
|
|
Harel G., Sowder L (1998) Students' proof
schemes: Results from exploratory studies. In: Schonfeld A., Kaput J.,
and E. Dubinsky E. (eds.) Research in collegiate mathematics education
III. (Issues in Mathematics Education, Volume 7, pp. 234-282
). American Mathematical Society.
|
| |
|
Harel, G. (2001). The Development of Mathematical Induction as
a Proof Scheme: A Model for DNR-Based Instruction. In S. Campbell &
R. Zazkis (Eds.). Learning and Teaching Number Theory. New Jersey,
Ablex Publishing Corporation |
| |
|
Harel, G. (2008) DNR
perspective on mathematics curriculum and instruction, Part I: focus on
proving ZDM The International Journal on Mathematics Education 40/3,
487-500 |
|
|
|
Härtig K. (1993) Il dimostrare e le dimostrazioni
nell'insegnamento della matematica: alcune tesi ed esempi. L'insegnamento
della matematica e delle scienze inetgrate ottobre, 888-906.
|
|
|
|
Hasegawa J., Mii M. (1997) The analysis
on the process of geometric proof problems of ninth graders. Journal
of JASME: Research in Mathematics Education 3, 137-146. (in Japanese)
|
|
|
|
Hazzan O., Leron U. (1996) Students'
use and misure of mathematical theorems: The case of Lagrange's theorem.
For the Learing of Mathematics 16(1) 23-26.
|
| |
|
Healy L., Hoyles C. (2000) A study of proof conception
in algebra. Journal for Research in Mathematics Education 31(4) 396-428 |
| |
|
Healy L., Hoyles C.
(2001) Software tools for geometrical problem solving: potential
and pitfalls. International Journal of Computers for Mathematical Learning
6(3) 235-256 |
| |
|
Heinze A., Yi Kwak J. (2002) Informal
Prerequisites for Informal Proofs, Zentralblatt für Didaktik der
Mathematik 34 (1) pp. 17-28 |
| |
|
Heinze A.; Reiss.K.
(2004) The Teaching of Proof at the Lower Secondary Level –
a Video Study ZDM 36 (3), pp. 98-104 |
| |
|
Heinze A.; Cheng Y-H; Yang
K-L (2004) Students’ performance in reasoning and
proof in Taiwan and Germany: Results, paradoxes and open questions Zentralblatt
für Didaktik der Mathematik 36(5)162-171 |
| |
|
Heinze, A., Cheng, Y.-H., Ufer, S., Lin, F.-L.
and Reiss, M. K. (2008) Strategies to foster students' competencies
in constructing multi-steps geometric proofs: teaching experiments in Taiwan
and Germany ZDM The International Journal on Mathematics Education 40/3,
443-453 |
| |
|
Hemmi, K. (2008) Students' encounter
with proof: the condition of transparency ZDM The International Journal
on Mathematics Education 40/3, 413-426 |
|
|
|
Herbst P. G. (1998) What works as proof
in the mathematics class. Ph.D. Dissertation, The University of Georgia,
Athens GA. USA
|
| |
|
Herbst G. P. (2002) Engaging Students
in Proving : A Double Bind on the Teacher, Journal for Research
in Mathematics Education 33 (3), pp. 176-203. |
| |
|
Herbst P. G.
(2002) Establishing a custom of proving in american school geometry:
evolution of the two-column proof in the early twentieth century Educational
studies in mathematics Volume 49, Issue 3, pp. 283-312 |
| |
|
Herbst P., Chazan D.
(2003) Exploring the practical rationality of mathematics teaching
through conversations about videotaped episodes: the case of engaging students
in proving For the Learning of Mathematics 23(1), 2-14 |
| |
|
Herbst P. G.
(2004). Interactions with diagrams and the making of reasoned
conjectures in geometry, Zentralblatt für Didaktik der Mathematik
36, 129-139 |
| |
|
Herbst P.
(2005) Knowing about "equal area" while proving a claim
about areas. Recherches en didactique des mathématiques 25(1)
11-56 |
| |
|
Herbst, P., Brach, C. (2006)
Proving and doing proofs in high school geometry classes: what is it that
is going on for students?Cognition and Instruction, 24(1), 73–122 |
| |
|
Herbst, P. (2006). Teaching
geometry with problems: Negotiating instructional situations and mathematical
tasks. Journal for Research in Mathematics Education, 37, 313-347. |
| |
|
Herbst, P. &
Miyakawa T. (2008) When, how, and why prove
theorems? A methodology for studying the perspective of geometry teachers
ZDM The International Journal on Mathematics Education 40/3, 469-486
|
|
|
|
Hersh R. (1993) Proving is Convincing and Explaining.Educational
studies in Mathematics 24(4) 389-399.
|
| |
|
Holland-Minkley A.M., Barzilay R., Constable R.L.
(1999) Verbalization of High-Level Formal Proofs. In: National Conference
on Artificial Intelligence (AAAI-99). |
|
|
|
Houdebine J. (1990) Démontrer ou
ne pas démontrer, voilà la question. Repères-IREM
1, 5-27.
|
| |
|
Houdebine J. (ed.) (1998) La démonstration
écrire des mathématiques au collège et au lycée.
Paris : Editions Hachette. |
| |
|
Houdebine J. (2001) Analyse de copies
d'élèves. Barbin E., Duval R., Giorgiutti I., Houdebine J.,
Laborde C. (eds.) (2001) Produire et lire des textes de démonstration.
Paris : Ellipse. 255-266 |
| |
|
Houdebine J. (2001) La diversité
des textes de démonstration. Barbin E., Duval R., Giorgiutti I.,
Houdebine J., Laborde C. (eds.) Produire et lire des textes de démonstration.
Paris : Ellipse. 111-128 |
|
|
Hoyles C. (1997) The curricular shaping of students'
approaches to proof. For the Learning of Mathematics 17(1) 7-16. |
|
|
Hoyles C., Jones K. (1998), Proof in Dynamic Geometry Contexts.
In: Mammana C., V. Villani V. (eds) Perspectives on the Teaching of Geometry
for the 21st Century (pp.121-128) Dordrecht: Kluwer. |
| |
|
Hoyles C., Healy L. (2000) Relacionando la argumentación
informal con la demostración formal mediante experimentos pedagógicos
computacionales. UNO, 25, 9-20 |
| |
|
Hoyles C., Küchemann D.(2002)
Students' understandings of logical implication Educational Studies in
Mathematics 51(3), 193-223 |
|
|
|
Hoyles C. (2002)
What do student understand by the process of deduction: insight from a
large-scale longitudinal survey? Fou Lai Lin (ed.)
2002 International Conference on Mathematics - "Understanding
proving and proving to understand". Taipei: NSC and NTNU (pp.
9-23)
|
Z