Pages that link to "Item:Q3140554"
From MaRDI portal
The following pages link to Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition (Q3140554):
Displaying 14 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions (Q417963) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Proving inequalities and solving global optimization problems via simplified CAD projection (Q492036) (← links)
- Partial cylindrical algebraic decomposition for quantifier elimination (Q1186711) (← links)
- Discussion on: ``Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach'' by D. Nešić and I. M. Y. Mareels (Q1306037) (← links)
- Maximal irredundant functions (Q1923617) (← links)
- Solving systems of strict polynomial inequalities (Q1976673) (← links)
- Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952) (← links)
- Towards physical hybrid systems (Q2305415) (← links)
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions (Q2341257) (← links)
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions (Q2799562) (← links)
- Combined Decision Techniques for the Existential Theory of the Reals (Q3637273) (← links)
- Accelerating parameter synthesis using semi-algebraic constraints (Q6536345) (← links)
