Common Grounds for Modelling Mathematics in Educational Software.
Walther Neuper · International Journal for Technology in Mathematics Education · 2010
Two kinds of software, CAS and DGS, are starting to work towards mutual integration. This paper envisages common grounds for such integration based on principles of computer theorem proving (CTP). Presently, the CTP community seems to lack awareness as to which of their products' features might serve mathematics education from highschool to university; and educators seem not aware just what they might request from CTP technology. This paper intends to promote a wide-ranging discussion between CTP, developers of mathematics software and educators, which has been initiated by the working group “Convergence on Mathematics Assistants” at CADGME'09. As a starting point for discussion the paper provides some basics about CTP (representation of mathathematical knowledge and operations on it) and relates them to preliminary ideas of how concepts and technologies of CTP could contribute to a new generation of educational mathematics assistants (transparent systems supporting step-wise construction).