Pages that link to "Item:Q1595926"
From MaRDI portal
The following pages link to A machine-checked implementation of Buchberger's algorithm (Q1595926):
Displaying 4 items.
- Commutative algebra in the Mizar system (Q597122) (← links)
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- Certifying properties of an efficient functional program for computing Gröbner bases (Q1012152) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
