List Tracing in Systems Allowing Multiple Cell-Types.
Applications of Symbol Manipulation in Theoretical Physics.
Algebraic Simplification: A Guide for the Perplexed.
Symbolic Integration: The Stormy Decade.
The Altran System for Rational Function Manipulation - A Survey.
Automated Algebraic Manipulation in Celestial Mechanics.
General Relativity and the Application of Algebraic Manipulative Systems.