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

Combinatorial Representation of Parameter Space for Switching Networks, Improved projection for cylindrical algebraic decomposition, Cylindrical algebraic decomposition using local projections, 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, Quantifier elimination supported proofs in the numerical treatment of fluid flows, On the average complexity for the verification of compatible sequences, A local Fourier convergence analysis of a multigrid method using symbolic computation, 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