Pages that link to "Item:Q2028994"
From MaRDI portal
The following pages link to A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994):
Displaying 4 items.
- 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)
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464700) (← links)