Solving systems of strict polynomial inequalities

DOI10.1006/jsco.1999.0327zbMath0962.68183MaRDI QIDQ1976673

Adam Wojciech Strzeboński

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

zbMATH Keywords

solution sets of systems of strict polynomial inequalities

Mathematics Subject Classification ID

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

• QEPCAD

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