A fornalisation of Grobner basis in ssreflect
-
Updated
Nov 3, 2023 - Coq
A fornalisation of Grobner basis in ssreflect
Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
Add a description, image, and links to the grobner-basis topic page so that developers can more easily learn about it.
To associate your repository with the grobner-basis topic, visit your repo's landing page and select "manage topics."