Pages that link to "Item:Q3613432"
From MaRDI portal
The following pages link to Verifying Mixed Real-Integer Quantifier Elimination (Q3613432):
Displaying 6 items.
- Linear quantifier elimination (Q707743) (← links)
- Proof synthesis and reflection for linear arithmetic (Q945055) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- A Quantifier Elimination Algorithm for Linear Real Arithmetic (Q5505558) (← links)
- Verified Quadratic Virtual Substitution for Real Arithmetic (Q6488467) (← links)