References
- Alcock , L. 2010 . “ Interactions between teaching and research: Developing pedagogical content knowledge for real analysis ” . In Learning through teaching mathematics , Edited by: Leikin , R. and Zazkis , R. 227 – 246 . Springer : Dordrecht .
- Alcock , L.J. and Simpson , A.P. 2004 . Convergence of sequences and series: Interactions between visual reasoning and the learner's beliefs about their own role . Educational Studies in Mathematics , 57 ( 1 ) : 1 – 32 .
- Alcock , L.J. and Weber , K. 2005 . Proof validation in real analysis: Inferring and checking warrants . Journal of Mathematical Behavior , 24 : 125 – 34 .
- Alcock , L.J. , and K. Weber 2010a . Undergraduates’ example use in proof production: Purposes and effectiveness . Investigations in Mathematical Learning 31 , no. 1 – 22 .
- Alcock , L.J. and Weber , K. 2010b . Referential and syntactic approaches to proving: Case studies from a transition-to-proof course . Research in Collegiate Mathematics Education , 7 : 101 – 23 .
- Boero , P. 2007 . Theorems in schools: From history, epistemology, and cognition to classroom practice , Rotterdam : Sense Publishers .
- Burton , L. 2004 . Mathematicians as enquirers: Learning about learning mathematics , Berlin : Springer .
- Dreyfus , T. 1991 . On the status of visual reasoning in mathematics and mathematics education . In Proceedings of the 15th Conference of the International Group for the Psychology of Mathematics Education , F. Furinghetti , 33 – 48 . Vol. I , Assisi , , Italy : University of Genova.
- Duval , R. 2007 . Cognitive functioning and understanding the mathematical processes of proof . In Theorems in schools: From history, epistemology, and cognition to classroom practice , P. Boero , 137 – 161 . Rotterdam : Sense Publishers.
- Gibson , D. 1998 . Students’ use of diagrams to develop proofs in an introductory real analysis . Research in Collegiate Mathematics Education , 2 : 284 – 307 .
- Hadamard , J. 1945 . The Psychology of invention in the mathematical field , Princeton , NJ : Princeton University Press .
- Hanna , G. 1991 . Mathematical proof . In Advanced mathematical thinking , D. Tall , 54 – 61 . Dordrecht : Kluwer .
- Harel , G. and Sowder , L. 1998 . Students proof schemes . Research in collegiate mathematics education , 3 : 234 – 82 .
- Hart , E. 1994 . A conceptual analysis of the proof writing performance of expert and novice students in elementary group theory . In Research issues in mathematics learning: Preliminary analyses and results , J. Kaput and E. Dubinsky , 49 – 62 . Washington , DC : Mathematical Association of America .
- Hersh , R. 1993 . Proving is convincing and explaining . Educational Studies in Mathematics , 24 ( 4 ) : 389 – 99 .
- Malone , J. , G. Douglas , B. Kissane , and R. Mortlock . 1980 . Measuring problem solving . In NCTM 1980 yearbook: Problem solving in school mathematics , S. Kruklik , 204 – 215 . Washington , DC : NCTM.
- Moore , R.C. 1994 . Making the transition to formal proof . Educational Studies in Mathematics , 27 : 249 – 66 .
- NCTM . 2000 . Principles and standards for school mathematics . Reston , VA : National Council of Teachers of Mathematics.
- Nelsen , R.B. 1993 . Proofs without words , Washington , DC : MAA .
- Nelsen , R.B. 2000 . Proofs without words II , Washington , DC : MAA .
- Piez , C.M. and Voxman , M.H. 1997 . Multiple representations: Using different perspectives to form a clearer picture . The Mathematics Teacher , 90 : 164 – 6 .
- Pólya , G. 1957 . How to solve it: A new aspect of mathematical method , Princeton , NJ : Princeton University Press .
- Presmeg , N. 1986 . Visualization and mathematical giftedness . Educational Studies in Mathematics , 17 : 297 – 311 .
- Raman , M. 2003 . Key ideas: What are they and how can they help us understand how people view proof? . Educational Studies in Mathematics , 52 : 319 – 25 .
- Recio , A.M. and Godino , J.D. 2001 . Institutional and personal meanings of proof . Educational Studies in Mathematics , 48 ( 1 ) : 83 – 99 .
- Schoenfeld , A. 1985 . Mathematical problem solving , Orlando , FL : Academic Press .
- Strauss , A. and Corbin , J. 1990 . Basics of qualitative research: Grounded theory procedures and techniques , London : Sage .
- Stylianou , D.A. 2002 . On the interaction of visualization and analysis: The negotiation of a visual representation in problem solving . Journal of Mathematical Behavior , 21 ( 3 ) : 303 – 17 .
- Stylianou , D.A. and Silver , E.A. 2004 . The role of visual representations in advanced mathematical problem solving: An examination of expert-novice similarities and differences . Journal of Mathematical Thinking and Learning , 6 ( 4 ) : 353 – 87 .
- Thurston , W.P. 1994 . On proof and progress in mathematics . Bulletin of the American Mathematical Society , 30 : 161 – 77 .
- Weber , K. 2001 . Student difficulties in constructing proofs: The need for strategic knowledge . Educational Studies in Mathematics , 48 ( 1 ) : 101 – 19 .
- Weber , K. 2004 . Traditional instruction in advanced mathematics courses: A case study of one professor's lectures and proofs in an introductory real analysis course . Journal of Mathematical Behavior , 23 ( 2 ) : 115 – 33 .
- Weber , K. 2006 . Investigating and teaching the thought processes used to construct proofs . Research in Collegiate Mathematics Education , 6 : 197 – 232 .
- Weber , K. and Alcock , L.J. 2004 . Semantic and syntactic proof productions . Educational Studies in Mathematics , 56 ( 3 ) : 209 – 34 .