Survey of formula manipulation
The field of formula manipulation is surveyed, with particular attention to the specific capabilities of differentiation, integration and the supporting capabilities of…
Survey of formula manipulation
On the implementation of AMBIT, a language for symbol manipulation
Computation of algebraic properties of elementary particle reactions using a digital computer
PM, a system for polynomial manipulation
Computer experiments in finite algebra
A programmer’s description of L6
AUTOMAST: automatic mathematical analysis and symbolic translation
Solutions of systems of polynomial equations by elimination
Symbolic factoring of polynomials in several variables