Pages that link to "Item:Q2702494"
From MaRDI portal
The following pages link to Theorem proving for and with Gröbner bases theory (Q2702494):
Displaying 7 items.
- Formalization of Dubé's degree bounds for Gröbner bases in Isabelle/HOL (Q2287906) (← links)
- Catagenesis condition for approximate theorem-proving (Q2764247) (← links)
- Groth–Sahai Proofs Revisited (Q3562895) (← links)
- (Q4234211) (← links)
- (Q4944848) (← links)
- Fine-Tuning Groth-Sahai Proofs (Q5402997) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)