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


mathematics