Software for Evaluating Relevance of Steps in Algebraic Transformations
Symbolic Computation
2013-07-01 v1
Abstract
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.
Cite
@article{arxiv.1306.6749,
title = {Software for Evaluating Relevance of Steps in Algebraic Transformations},
author = {Rein Prank},
journal= {arXiv preprint arXiv:1306.6749},
year = {2013}
}
Comments
CICM 2013, Bath