The following pages link to (Q4391213):
Displaying 32 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Variant quantifier elimination (Q420753) (← links)
- Interval-based projection method for under-constrained numerical systems (Q487645) (← links)
- On using Lazard's projection in CAD construction (Q492024) (← links)
- Proving inequalities and solving global optimization problems via simplified CAD projection (Q492036) (← links)
- Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading (Q671211) (← links)
- A note on observability tests for general polynomial and simple Wiener-Hammerstein systems (Q1274579) (← links)
- Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach (Q1306036) (← links)
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Validity proof of Lazard's method for CAD construction (Q1757004) (← links)
- Solving systems of strict polynomial inequalities (Q1976673) (← links)
- Symbolic analysis of multiple steady states in a MAPK chemical reaction network (Q1994887) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952) (← links)
- Fully incremental cylindrical algebraic decomposition (Q2307621) (← links)
- Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
- From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623) (← links)
- Solving linear constraints over real and rational fields (Q2452760) (← links)
- Cylindrical algebraic decomposition using validated numerics (Q2457384) (← links)
- Visualizing parametric solution sets (Q2479582) (← links)
- Single-factor coefficient bounds (Q2643575) (← links)
- Need Polynomial Systems Be Doubly-Exponential? (Q2819212) (← links)
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999) (← links)
- On the Generation of Positivstellensatz Witnesses in Degenerate Cases (Q3088010) (← links)
- Recent Advances in Real Geometric Reasoning (Q3452275) (← links)
- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition (Q5495913) (← links)
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition (Q5495916) (← links)
- Solutions to disturbance decoupling problem with constant measurement feedback for linear systems (Q5925927) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
