Proof comprehension

research group

Recently published papers


  • Lew, K., & Mejía-Ramos, J. P. (accepted). The linguistic conventions of mathematical proof writing across pedagogical contexts. Accepted for publication in Educational Studies in Mathematics.
  • Inglis, M., & Mejía-Ramos, J. P. (accepted). Functional explanation in mathematics. Accepted for publication in Synthese.
  • Czocher, J. & Weber, K. (accepted). Proof as a cluster concept. Accepted for publication in Journal for Research in Mathematics Education.
  • Harel, G. & Weber, K. (in press). Deductive reasoning in mathematics education. To appear in S. Lerman (Ed.) Encyclopedia of Mathematics Education. Springer: Dordrecht.
  • Weber, K. (in press). The role of syntactic representations in set theory. To appear in Synthese.
  • Weber, K. & Czocher, J. (in press). On mathematicians’ disagreement on what constitutes a proof. To appear in Research in Mathematics Education.
  • Weber, K., Lew, K., & Mejía-Ramos, J. P. (accepted). Using expectancy value theory to account for students' mathematical justifications. Accepted for publication in Cognition and Instruction.


  • Mejía-Ramos, J. P. & Weber, K. (2019). Mathematics majors’ diagram usage when writing proofs in calculus. Journal for Research in Mathematics Education, 50(5), 478-488.
  • Wasserman, N., Weber, K., Fukawa-Connelly, T., & McGuffey, W. (2019). Designing advanced mathematics courses to influence secondary teaching: Fostering mathematics teachers’ ‘attention to scope’. Journal of Mathematics Teacher Education, 22(4), 379-406. Correction:
  • Weber, K. & Mejía-Ramos, J.P. (2019). An empirical study on the admissibility of graphical inferences in mathematical proofs. In A. Aberdein & M. Inglis (Eds.) Advances in Experimental Philosophy of Logic and Mathematics. London: Bloomsbury.
  • Lew, K., & Mejía-Ramos, J. P. (2019). Linguistic conventions of mathematical proof writing at the undergraduate level: Mathematicians’ and students’ perspectives. Journal for Research in Mathematics Education, 50(2), 121-155.
  • Mejía-Ramos, J. P., Alcock, L., Lew, K., Rago, P., Sangwin, C., & Inglis, M. (2019). Using corpus linguistics to investigate mathematical explanation. In F. Eugen & C. Mark (Eds.) Methodological Advances in Experimental Philosophy (pp. 239-263). London: Bloomsbury.


  • Byrne, M., Hanusch, S., Moore, R., & Fukawa-Connelly, T. (2018) Student interpretations of written comments on graded proofs. International Journal of Research on Undergraduate Mathematics Education, 4(2), 228-253.
  • Johnson, E., Keller, R., & Fukawa-Connelly, T. (2018). Results from a survey of abstract algebra instructors across the United States: Understanding the choice to (not) lecture. International Journal of Research in Undergraduate Mathematics Education, 4(2), 254-285.
  • Krupnik, V., Weber, K., & Fukawa-Connelly, T. (2018). Students’ epistemological frames and their interpretations of lectures in advanced mathematics. Journal of Mathematical Behavior, 49, 174-183.
  • Miller, D., Infante, N., & Weber, K. (2018). How mathematicians assign points to student proofs. Journal of Mathematical Behavior, 49, 24-34.
  • Paoletti, T., Krupnik, V., Papadopoulos, D., Olsen, J., Fukawa-Connelly, T. & Weber, K. (2018). Teacher questioning and invitations to participate in advanced mathematics lectures. Educational Studies in Mathematics, 98, 1-17.
  • Wasserman, N., Weber, K., Villanueva, M., Mejia-Ramos, J.P. (2018) Mathematics teachers’ views about the limited utility of real analysis: A transport model hypothesis. Journal of Mathematical Behavior, 50, 74-89.
  • Weber, K. (2018). Book review: Dialogue, Argumentation and Education: History, Theory and Practice, by Baruch B. Schwarz & Michael J. Baker. Educational Studies in Mathematics, 97, 111-118.
  • Weber, K. (2018). The role of sourcing in mathematics. In J. Braasch, I Bråten, & M. McCrudden (Eds.) Handbook of Multiple Source Use. New York: Routledge.
  • Weber, K. & Dawkins, P. (2018). Toward an evolving theory of Mathematical Practice informing Pedagogy: What standards for this research paradigm should we adopt? In A. Stylianides & G. Harel (Eds.) Advances in mathematics education research on proof and proving. Springer: Dordrecht.
  • Weber, K. & Moore, K. (2018). The role of abstraction in multiple perspectives on mathematical thinking and reasoning. Invited chapter for V. Thompson & L. Ball (eds.) International Handbook on Thinking and Reasoning. Psychology Press.

Related sites

  • ULTRA. Upgrading Learning for Teachers in Real Analysis is an NSF-funded collaborative project to design, implement, and assess an innovative real analysis course for pre-service and in-service mathematics teachers. [site]