Pages that link to "Item:Q1595926"
From MaRDI portal
The following pages link to A machine-checked implementation of Buchberger's algorithm (Q1595926):
Displaying 12 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)
- A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994) (← links)
- Mathematical Theory Exploration in Theorema: Reduction Rings (Q2817288) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- (Q4249903) (← links)
- (Q4841300) (← links)
- (Q4889407) (← links)
- A Mechanically Verified AIG-to-BDD Conversion Algorithm (Q5747668) (← links)
- Admissible ordering on monomials is well-founded: a constructive proof (Q6094419) (← links)