Bronstein M. and other authors. Axiom: Volume 10.1: Axiom Algebra: Theory. - 2005. - 174 p.
Integration
Singular Value Decomposition
Quaternions
Clifford Algebra
Package for Algebraic Function Fields
Groebner Basis
Greatest Common Divisor
Polynomial Factorization
Cylindrical Algebraic Decomposition
Pade approximant
Schwartz-Zippel lemma and testing polynomial identities
Chinese Remainder Theorem
Gaussian Elimination
Diophantine Equations