Singular: A computer algebra system
Christoph Lossen · Computing in Science & Engineering · 2003
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.