Solving systems of strict polynomial inequalities
From MaRDI portal
Publication:1976673
DOI10.1006/jsco.1999.0327zbMath0962.68183MaRDI 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
68W30: Symbolic computation and algebraic computation
Related Items
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks, Combinatorial Representation of Parameter Space for Switching Networks, Improved projection for cylindrical algebraic decomposition, Cylindrical algebraic decomposition using local projections, Stability analysis of a bacterial growth model through computer algebra, A hypergeometric inequality, An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination, 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, Cylindrical algebraic sub-decompositions, Proving inequalities and solving global optimization problems via simplified CAD projection, Algorithmic global criteria for excluding oscillations, On the positivity of the Gillis-Reznick-Zeilberger rational function, Quantifier elimination supported proofs in the numerical treatment of fluid flows, Open weak CAD and its applications, On the average complexity for the verification of compatible sequences, The impact on the properties of the EFGM copulas when extending this family, Polynomial bivariate copulas of degree five: characterization and some particular inequalities, A local Fourier convergence analysis of a multigrid method using symbolic computation, Identifying the parametric occurrence of multiple steady states for some biological networks, On multivariate Hermitian quadratic forms, Discovering polynomial Lyapunov functions for continuous dynamical systems, Cylindrical algebraic decomposition using validated numerics, An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions, A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS, Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk), Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata
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