The following pages link to (Q4234240):
Displaying 18 items.
- Fast simplifications for Tarski formulas based on monomial inequalities (Q420752) (← links)
- Variant quantifier elimination (Q420753) (← links)
- Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading (Q671211) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Global optimization of polynomials over real algebraic sets (Q1730308) (← links)
- The exact region of stability for MacCormack scheme (Q1916052) (← links)
- From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Quantified set inversion algorithm with applications to control (Q2568644) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)
- Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact (Q3597977) (← links)
- (Q4720025) (← links)
- BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES (Q4871659) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208) (← links)
- Simple CAD construction and its applications (Q5938543) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)
