A novel approach to symbolic algebra

A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient framework for doing tedious algebraic manipulations that so far had to be done manually in a semi-automatic fashion.

• Type: Journal
• Year: 2004
• Where: CORR
• Authors: Thomas Fischbacher
• Keywords: CORR 2004, Education, Graphical Term Manipulation, Nondeterministic Evaluation, Tedious Algebraic Manipulations