Pages that link to "Item:Q3140555"
From MaRDI portal
The following pages link to Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants (Q3140555):
Displaying 6 items.
- Quantifier elimination for real algebra -- the quadratic case and beyond (Q677553) (← links)
- Properness defects of projection and minimal discriminant variety (Q719760) (← links)
- Quantifier elimination: Optimal solution for two classical examples (Q1104314) (← links)
- Discussion on: ``Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach'' by D. Nešić and I. M. Y. Mareels (Q1306037) (← links)
- Quantifier elimination theory and maps which preserve semipositivity (Q2687228) (← links)
- Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints (Q4213662) (← links)
