Pages that link to "Item:Q3140551"
From MaRDI portal
The following pages link to Improved Algorithms for Sign Determination and Existential Quantifier Elimination (Q3140551):
Displaying 17 items.
- A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set (Q464735) (← links)
- Elementary recursive quantifier elimination based on Thom encoding and sign determination (Q529166) (← links)
- Linear solving for sign determination (Q638542) (← links)
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- On sign conditions over real multivariate polynomials (Q977180) (← links)
- A parametric representation of totally mixed Nash equilibria (Q979929) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- An algorithm for sums of squares of real polynomials (Q1295495) (← links)
- Matrices in elimination theory (Q1808659) (← links)
- Efficient evaluation of specific queries in constraint databases (Q1944172) (← links)
- Global optimality in \(k\)-means clustering (Q2195470) (← links)
- Zero-nonzero and real-nonreal sign determination (Q2435509) (← links)
- On the Theoretical and Practical Complexity of the Existential Theory of Reals (Q3140553) (← links)
- (Q4038744) (← links)
- On the number of cells defined by a family of polynomials on a variety (Q4895410) (← links)
- Decomposition plans for geometric constraint systems. I: Performance measures for CAD (Q5933499) (← links)
- Decision problem for a class of univariate Pfaffian functions (Q6122406) (← links)