zbMATH — the first resource for mathematics

Software for evaluating relevance of steps in algebraic transformations. (English) Zbl 1390.97007
Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 374-378 (2013).
Summary: Students of our department solve algebraic exercises in mathematical logic in a computerized environment. They construct transformations step by step and the program checks the syntax, equivalence of expressions and completion of the task. With our current project, we add a program component for checking relevance of the steps.
For the entire collection see [Zbl 1268.68008].
97U70 Technological tools, calculators (aspects of mathematics education)
97E30 Logic (educational aspects)
Full Text: DOI