NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
Direct linkDirect link
ERIC Number: EJ901814
Record Type: Journal
Publication Date: 2010
Pages: 6
Abstractor: As Provided
Reference Count: 19
ISSN: ISSN-1744-2710
Common Grounds for Modelling Mathematics in Educational Software
Neuper, Walther
International Journal for Technology in Mathematics Education, v17 n3 p161-166 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 high-school 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 mathematical 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).
Research Information Ltd. Grenville Court, Britwell Road, Burnham, Buckinghamshire, SL1 8DF, UK. Tel: +44-1628-600499; Fax: +44-1628-600488; e-mail:; Web site:
Publication Type: Journal Articles; Reports - Descriptive
Education Level: N/A
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A