2000 character limit reached
Software for Evaluating Relevance of Steps in Algebraic Transformations
Published 28 Jun 2013 in cs.SC | (1306.6749v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.