Solving systems of strict polynomial inequalities
From MaRDI portal
Publication:1976673
DOI10.1006/jsco.1999.0327zbMath0962.68183OpenAlexW2149652522MaRDI QIDQ1976673
Publication date: 13 June 2001
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/a3f96a8a38bf59f2e67a6141f1aa234d97527733
Related Items (28)
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks ⋮ An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination ⋮ Stability analysis of a bacterial growth model through computer algebra ⋮ Dominance in the family of Sugeno-Weber t-norms ⋮ Trading order for degree in creative telescoping ⋮ Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions ⋮ On the average complexity for the verification of compatible sequences ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ Open weak CAD and its applications ⋮ Cylindrical algebraic sub-decompositions ⋮ Cylindrical algebraic decomposition using validated numerics ⋮ Proving inequalities and solving global optimization problems via simplified CAD projection ⋮ On the positivity of the Gillis-Reznick-Zeilberger rational function ⋮ Quantifier elimination supported proofs in the numerical treatment of fluid flows ⋮ Polynomial bivariate copulas of degree five: characterization and some particular inequalities ⋮ A local Fourier convergence analysis of a multigrid method using symbolic computation ⋮ A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS ⋮ Algorithmic global criteria for excluding oscillations ⋮ Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) ⋮ Improved projection for cylindrical algebraic decomposition ⋮ Identifying the parametric occurrence of multiple steady states for some biological networks ⋮ An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions ⋮ Cylindrical algebraic decomposition using local projections ⋮ The impact on the properties of the EFGM copulas when extending this family ⋮ Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata ⋮ On multivariate Hermitian quadratic forms ⋮ Combinatorial Representation of Parameter Space for Switching Networks ⋮ A hypergeometric inequality
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Partial cylindrical algebraic decomposition for quantifier elimination
- Computing in the field of complex algebraic numbers
- Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
This page was built for publication: Solving systems of strict polynomial inequalities
