Package Singular

Computer Algebra System for polynomial computations

http://www.singular.uni-kl.de/

Singular is a computer algebra system for polynomial computations, with
special emphasis on commutative and non-commutative algebra, algebraic
geometry, and singularity theory.

General Commands
Command Description
Singular manual page for Singular for version 4-x-x
TSingular manual page for TSingular 4.0.0