A tool for evaluating solution economy of algebraic transformations

DOI10.1016/j.jsc.2013.10.014zbMath1284.97010MaRDI QIDQ2437311

Rein Prank

Publication date: 3 March 2014

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2013.10.014

zbMATH Keywords

disjunctive normal form; algebraic transformations; exercise environment; solution economy; solution steps

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

68U99: Computing methodologies and applications

97D60: Student assessment, achievement control, and rating (aspects of mathematics education)

97U70: Technological tools, calculators (aspects of mathematics education)

97E30: Logic (educational aspects)

Uses Software

• MathXpert
• Mathpert