Verification of human-level proof steps in mathematics education

Verification of Proof Steps for Tutoring Mathematical Proofs

The feedback given by human tutors is strongly based on their evaluation of the correctness of student’s contributions [7]. A typical approach to verification of contributions in ITSs is model tracing, in which contributions are matched against a precomputed solution graph [1,3]. However verifying steps in mathematical theorem proving poses particular problems because there are possibly infinit...

The trace of realistic mathematics education in the school mathematics in Iran

Abstract: In the late 70's, in reaction to both "New Math" movement in the United States and "mechanistic mathematics education" approach to mathematics education in Netherland, Realistic Mathematics Education (RME) has been introduced by Freudenthal and his colleagues. In this educational approach, Freudenthal considered mathematics as a human activity. Based on this approach, education should...

What ain’t mathematics education?!

Abstract: In 1996 at the first Iranian Mathematics Education Conference (IMEC1) that was held in Isfahan. I obliged myself as a mathematics educator, to inform the mathematics community at large by presenting a paper entitled “what is mathematics education?” to pave the way for the establishment of the master program of mathematics education in Iran. Now, after 16 years, we need to reflect on t...

Philosophy of Mathematics, Mathematics Education, and Philosophy of Mathematics Education

High-Level Verification Using Theorem Proving and Formalized Mathematics