cl-buchberger
cl-buchberger is a Common Lisp implementation of Buchberger's algorithm for the computation of Gröbner bases.

See also the project's web site.


mathematics