Journal: Communications of the ACM

Volume 14, Issue 8

511 -- 516Anthony C. Hearn. Applications of Symbol Manipulation in Theoretical Physics
517 -- 521Andrew D. Hall Jr.. The Altran System for Rational Function Manipulation - A Survey
522 -- 526Robert Fenichel. List Tracing in Systems Allowing Multiple Cell-Types
527 -- 537Joel Moses. Algebraic Simplification: A Guide for the Perplexed
538 -- 541William H. Jefferys. Automated Algebraic Manipulation in Celestial Mechanics
542 -- 547David Barton, John Fitch. General Relativity and the Application of Algebraic Manipulative Systems
548 -- 560Joel Moses. Symbolic Integration: The Stormy Decade