PM, a system for polynomial manipulation.
Survey of formula manipulation.
Computation of algebraic properties of elementary particle reactions using a digital computer.
AUTOMAST: automatic mathematical analysis and symbolic translation.
On the implementation of AMBIT, a language for symbol manipulation.
Computer experiments in finite algebra.
Solutions of systems of polynomial equations by elimination.
CONVERT.
Experience with FORMAC algorithm design.
Symbolic factoring of polynomials in several variables.
A programmer's description of L