A novel approach to symbolic algebra
<|reference_start|>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.<|reference_end|>
@article{fischbacher2004a,
    title={A novel approach to symbolic algebra},
    author={Thomas Fischbacher},
    journal={arXiv preprint arXiv:cs/0406002},
    year={2004},
    number={AEI-2004-043},
    archivePrefix={arXiv},
    eprint={cs/0406002},
    primaryClass={cs.SC}
}