Pages that link to "Item:Q2883815"
From MaRDI portal
The following pages link to Variant real quantifier elimination: algorithm and application (Q2883815):
Displaying 12 items.
- Variant quantifier elimination (Q420753) (← links)
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Real quantifier elimination is doubly exponential (Q1114669) (← links)
- Global optimization of polynomials over real algebraic sets (Q1730308) (← links)
- Verifying Mixed Real-Integer Quantifier Elimination (Q3613432) (← links)
- (Q4247790) (← links)
- (Q4496280) (← links)
- Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Q5119942) (← links)
- A Quantifier Elimination Algorithm for Linear Real Arithmetic (Q5505558) (← links)
- Refined F5 Algorithms for Ideals of Minors of Square Matrices (Q6081937) (← links)
- Faster one block quantifier elimination for regular polynomial systems of equations (Q6666546) (← links)