The following pages link to Variant quantifier elimination (Q420753):
Displaying 25 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- On the complexity of the generalized MinRank problem (Q390388) (← links)
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Global optimization of polynomials over real algebraic sets (Q1730308) (← links)
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (Q1733314) (← links)
- On exact Reznick, Hilbert-Artin and Putinar's representations (Q2029015) (← links)
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure (Q2100061) (← links)
- Gröbner bases and critical values: the asymptotic combinatorics of determinantal systems (Q2132458) (← links)
- The saddle point problem of polynomials (Q2162120) (← links)
- The complexity of subdivision for diameter-distance tests (Q2188972) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Curves testing boundedness of polynomials on subsets of the real plane (Q2437228) (← links)
- On a hybrid analytical-experimental technique to assess the storage modulus of resilient materials using symbolic computation (Q2437303) (← links)
- The role of quantifier alternations in cut elimination (Q2565988) (← links)
- A probabilistic algorithm for computing data-discriminants of likelihood equations (Q2628325) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets (Q3451759) (← links)
- A Matrix Positivstellensatz with Lifting Polynomials (Q5210520) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208) (← links)
- Cylindrical algebraic decomposition using local projections (Q5963393) (← links)
- Faster one block quantifier elimination for regular polynomial systems of equations (Q6666546) (← links)
- Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure (Q6666548) (← links)
