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

Available via Quicklisp.

GitHub repository

Placeholder for the project's web site.


mathematics