Sciweavers

CORR
2004
Springer
71views Education» more  CORR 2004»
14 years 20 days ago
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 fr...
Thomas Fischbacher