Singular: a computer algebra system

Singular is free software for polynomial computations. Originally designed for research in mathematics, it features one of the fastest implementations of Buchberger's Grobner basis algorithm, which is the core of many symbolic methods for simplifying and solving systems of polynomial equations.