Pages that link to "Item:Q1976673"
From MaRDI portal
The following pages link to Solving systems of strict polynomial inequalities (Q1976673):
Displayed 13 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Dominance in the family of Sugeno-Weber t-norms (Q409766) (← links)
- Trading order for degree in creative telescoping (Q414630) (← links)
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions (Q417963) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Quantifier elimination supported proofs in the numerical treatment of fluid flows (Q945006) (← links)
- On the average complexity for the verification of compatible sequences (Q1944143) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- Cylindrical algebraic decomposition using validated numerics (Q2457384) (← links)
- A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (Q3587714) (← links)
- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata (Q3648825) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)