Software for evaluating relevance of steps in algebraic transformations

DOI10.1007/978-3-642-39320-4_32MaRDI QIDQ2843043zbMATH OpenOpenAlexFDO

Authors Rein Prank

Publication date 9 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1306.6749

Mathematics Subject Classification ID

Logic (educational aspects) (97E30) Technological tools, calculators (aspects of mathematics education) (97U70)

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.

Recommendations

• A tool for evaluating solution economy of algebraic transformations
• scientific article; zbMATH DE number 1979886
• scientific article; zbMATH DE number 2088995
• scientific article; zbMATH DE number 3982493
• Specification methods and partial construction of theory by computer

Cited in

(3)

• A tool for evaluating solution economy of algebraic transformations
• scientific article; zbMATH DE number 2088995 (Why is no real title available?)
• scientific article; zbMATH DE number 1979886 (Why is no real title available?)

This page was built for publication: Software for evaluating relevance of steps in algebraic transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2843043)