The roles of formalisation artefacts in students’ formalisation processes

References

• Alcock, L. (2010). Interactions between teaching and research: Developing pedagogical content knowledge for real analysis. In R. Leikin & R. Zazkis (Eds.), Learning through teaching mathematics (pp. 227–245). Dordrecht: Springer.
   Google Scholar
• Alcock, L., & Inglis, M. (2008). Doctoral students’ use of examples in evaluating and proving conjectures. Educational Studies in Mathematics, 69, 111–129. doi: 10.1007/s10649-008-9149-x
   Google Scholar
• Boero, P. (1999, July/August). Argumentation and mathematical proof: A complex, productive, unavoidable relationship in mathematics and mathematics education. International Newsletter on the Teaching and Learning of Mathematical Proof.
   Google Scholar
• Duval, R. (2006). A cognitive analysis of problems of comprehension in a learning of mathematics. Educational Studies in Mathematics, 61(1), 103–131. doi: 10.1007/s10649-006-0400-z
   Google Scholar
• Garuti, R., Boero, P., & Lemut, E. (1998). Cognitive unity of theorems and difficulty of proof. In A. Olivier, & K. Newstead (Eds.), Proceedings of the 22nd conference of the International group for the psychology of mathematics education (Vol. 2, pp. 345–352).
   Google Scholar
• Gibson, D. (1998). Students’ use of diagrams to develop proofs in an introductory real analysis. Research in Collegiate Mathematics Education, 7, 284–307. doi: 10.1090/cbmath/007/08
   Google Scholar
• Pedemonte, B. (2002). Relation between argumentation and proof in mathematics: Cognitive unity or break. In Proceedings of the 2nd conference of the European society for research in mathematics education (Vol. 2, pp. 70–80).
   Google Scholar
• Pedemonte, B. (2007). How can the relationship between argumentation and proof be analysed? Educational Studies in Mathematics, 66(1), 23–41. doi: 10.1007/s10649-006-9057-x
   Google Scholar
• 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–325. doi: 10.1023/A:1024360204239
   Google Scholar
• Sandefur, J., Mason, J., Stylianides, G. J., & Watson, A. (2013). Generating and using examples in the proving process. Educational Studies in Mathematics, 83(3), 323–340. doi: 10.1007/s10649-012-9459-x
   Web of Science ®Google Scholar
• Selden, J., & Selden, A. (1995). Unpacking the logic of mathematical statements. Educational Studies in Mathematics, 29(2), 123–151. doi: 10.1007/BF01274210
   Google Scholar
• Sfard, A. (1991). On the dual nature of mathematical conceptions: Reflections on processes and objects as different sides of the same coin. Educational Studies in Mathematics, 22(1), 1–36. doi: 10.1007/BF00302715
   Google Scholar
• Stylianides, A. (2007). Proof and proving in school mathematics. Journal for Research in Mathematics Education, 38, 289–321.
   Web of Science ®Google Scholar
• Tao, T. (2014). Large gaps between consecutive primes. Retrieved from https://terrytao.wordpress.com/2014/08/21/large-gaps-between-consecutive-prime-numbers/
   Google Scholar
• Toulmin, S. (2003). The uses of argument. Cambridge: Cambridge University Press.
   Google Scholar
• Wawro, M. (2015). Reasoning about solutions in linear algebra: The case of Abraham and the invertible matrix theorem. International Journal of Research in Undergraduate Mathematics Education, 1(3), 315–338. doi: 10.1007/s40753-015-0017-7
   Google Scholar
• Weber, K. (2008). How mathematicians determine if an argument is a valid proof. Journal for Research in Mathematics Education, 30, 431–459.
   Google Scholar
• Weber, K., & Alcock, L. (2004). Semantic and syntactic proof productions. Educational Studies in Mathematics, 56, 209–234. doi: 10.1023/B:EDUC.0000040410.57253.a1
   Google Scholar
• Weber, K., & Alcock, L. (2009). Semantic and syntactic reasoning and proving in advanced mathematics classrooms. In Invited chapter on research on proof at the undergraduate level for M. Blanton, D. Stylinaiou, & E. Knuth (Eds.), The teaching and learning of proof across the K-16 curriculum (pp. 323–339). New York: Routledge.
   Google Scholar
• Zazkis, D., & Villanueva, M. (2016). Student conceptions of what it means to base a proof on an informal argument. International Journal of Research in Undergraduate Mathematics Education, 2, 318–337. doi: 10.1007/s40753-016-0032-3
   Google Scholar
• Zazkis, D., Weber, K., & Mejia-Ramos, J. P. (2016). Bridging the gap between graphical arguments and verbal-symbolic in calculus. Educational Studies in Mathematics, 93(2), 155–173. doi: 10.1007/s10649-016-9698-3
   Web of Science ®Google Scholar
• Zazkis, R., Dubinsky, E., & Dautermann, J. (1996). Coordinating visual and analytic strategies: A study of students’ understanding of the group D 4. Journal for Research in Mathematics Education, 27, 435–457. doi: 10.2307/749876
   Web of Science ®Google Scholar