Reasoning by equivalence:The potential contribution of an automatic proof checker

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review


Reasoning by equivalence, a form of line-by-line algebraic reasoning, is the most important single form of reasoning in school mathematics. In this chapter I define reasoning by equivalence and examine the role of reasoning by equivalence in mathematical proof. I base the discussion on an examination of the extent to which students are currently asked to "prove", "show" or "justify" in high-stakes national examinations. I then report research into how students go about solving such problems on paper. These results inform the design of an
automatic proof checker within the STACK software which assesses students' responses. I report on the use of this software with students. Finally I discuss the implications of this work for what constitutes mathematical "proof" at school level, and how this might be taught and learned online.
Original languageEnglish
Title of host publicationProof Technology in Mathematics Research and Teaching
EditorsGila Hanna, David A Reid, Michael de Villiers
ISBN (Electronic)978-3-030-28483-1
ISBN (Print)978-3-030-28482-4
Publication statusPublished - 31 Oct 2019

Publication series

NameMathematics Education in the Digital Era


Dive into the research topics of 'Reasoning by equivalence:The potential contribution of an automatic proof checker'. Together they form a unique fingerprint.

Cite this