2000 character limit reached
Software for Evaluating Relevance of Steps in Algebraic Transformations (1306.6749v1)
Published 28 Jun 2013 in cs.SC
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.