Sciweavers

44
Voted
CORR
2004
Springer
71views Education» more  CORR 2004»
14 years 8 months 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