Pages that link to "Item:Q5464700"
From MaRDI portal
The following pages link to Artificial Intelligence and Symbolic Computation (Q5464700):
Displaying 5 items.
- Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry (Q479832) (← 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)
- (Q4499160) (← links)