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.

ASDF-install package (obsolete) http://common-lisp.net/project/cl-buchberger/cl-buchberger_latest.tar.gz

mathematics