Pages that link to "Item:Q1186711"
From MaRDI portal
The following pages link to Partial cylindrical algebraic decomposition for quantifier elimination (Q1186711):
Displaying 50 items.
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares (Q258393) (← links)
- A hypergeometric inequality (Q259718) (← links)
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- On the complexity of quantified linear systems (Q391791) (← links)
- Some geometric properties of successive difference substitutions (Q415953) (← links)
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions (Q417963) (← links)
- Variant quantifier elimination (Q420753) (← links)
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification (Q462854) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
- On using Lazard's projection in CAD construction (Q492024) (← links)
- Proving inequalities and solving global optimization problems via simplified CAD projection (Q492036) (← links)
- Analyzing restricted fragments of the theory of linear arithmetic (Q513354) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Symbolic decision procedure for termination of linear programs (Q539162) (← links)
- Solution formulas for cubic equations without or with constraints (Q548598) (← links)
- Termination of linear programs with nonlinear constraints (Q604395) (← links)
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method (Q616847) (← links)
- An algorithm for determining copositive matrices (Q636239) (← links)
- Solving parametric piecewise polynomial systems (Q651936) (← links)
- Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading (Q671211) (← links)
- A note on dead-beat controllability of generalised Hammerstein systems (Q673277) (← links)
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Parametric toricity of steady state varieties of reaction networks (Q831994) (← links)
- Geometry and topology of parameter space: Investigating measures of robustness in regulatory networks (Q843306) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Testing elementary function identities using CAD (Q944998) (← links)
- Quantifier elimination supported proofs in the numerical treatment of fluid flows (Q945006) (← links)
- Computational complexity of determining which statements about causality hold in different space-time models (Q949614) (← links)
- Root neighborhoods, generalized lemniscates, and robust stability of dynamic systems (Q985368) (← links)
- A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Real zeros of the zero-dimensional parametric piecewise algebraic variety (Q1041521) (← links)
- A note on observability tests for general polynomial and simple Wiener-Hammerstein systems (Q1274579) (← links)
- A computational method for determining strong stabilizability of \(n\)-D systems (Q1300577) (← links)
- Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach (Q1306036) (← links)
- Stability analysis by quantifier elimination. (Q1565849) (← links)
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← links)
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture (Q1582300) (← links)
- Quantified constraints under perturbation (Q1600045) (← links)
- The maximum number and its distribution of singular points for parametric piecewise algebraic curves (Q1675395) (← links)
- On the robustness and optimality of algebraic multilevel methods for reaction-diffusion type problems (Q1684411) (← links)