Gröbner basis project
Codebase for research into Gröbner basis computation
Examples
Here is a list of all examples: