Pages that link to "Item:Q1012152"

The following pages link to Certifying properties of an efficient functional program for computing Gröbner bases (Q1012152):

Displaying 3 items.

• A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
• A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994) (← links)
• Mathematical Theory Exploration in Theorema: Reduction Rings (Q2817288) (← links)