Constraint definition system: a computer-algebra based approach to solving geometric-constraint problems
The ALPAK System for Nonnumerical Algebra on a Digital Computer -I: Polynomials in Several Variables and Truncated Power Series with Polynomial Coefficients
A computer algebra system
The verification of Killing tensor components for metrics in general relativity using the computer algebra system SHEEP
Symmetries of Differential Equations: From Sophus Lie to Computer Algebra
The computer algebra system simath
Computer algebra systems for CAA
SymPy: A Computer Algebra System
The Computer Algebra System OSCAR