Pages that link to "Item:Q1034553"
From MaRDI portal
The following pages link to A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553):
Displaying 6 items.
- Formalization of a normalization theorem in simplicial topology (Q1926582) (← links)
- A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Mathematical Theory Exploration in Theorema: Reduction Rings (Q2817288) (← links)
- Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials (Q3088007) (← links)
- Proof Assistant Decision Procedures for Formalizing Origami (Q5200107) (← links)
