Pages that link to "Item:Q2852041"
From MaRDI portal
The following pages link to Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system (Q2852041):
Displaying 4 items.
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination (Q2881068) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
- A Roadmap to Decidability (Q5258981) (← links)