Pages that link to "Item:Q5899515"
From MaRDI portal
The following pages link to Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5899515):
Displaying 8 items.
- On types of degenerate critical points of real polynomial functions (Q2284966) (← links)
- On the Implementation of CGS Real QE (Q2819213) (← links)
- Termination of Single-Path Polynomial Loop Programs (Q3179389) (← links)
- Recent Advances in Real Geometric Reasoning (Q3452275) (← links)
- (Q4234240) (← links)
- Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition (Q5119922) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208) (← links)
- Criteria for Hopf bifurcations with fixed multiplicities (Q6666530) (← links)