Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition

DOI10.1093/COMJNL/36.5.432MaRDI QIDQ3140554zbMATH OpenOpenAlexFDO

Authors Scott McCallum

Publication date 20 June 1994

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/36.5.432

zbMATH Keywords

consistency problemcylindrical algebraic decompositiongeometric modellingquantifier elimination problem for elementary real algebrasystem of integral polynomial strict inequalities

Mathematics Subject Classification ID

Real and complex fields (12D99) Grammars and rewriting systems (68Q42)

Recommendations

• Solving systems of strict polynomial inequalities
• scientific article; zbMATH DE number 784883
• Partial cylindrical algebraic decomposition for quantifier elimination
• Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
• Cylindrical algebraic decompositions for Boolean combinations

Cited in

(17)

• Partial cylindrical algebraic decomposition for quantifier elimination
• Discussion on: ``Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach by D. Nešić and I. M. Y. Mareels
• Maximal irredundant functions
• Solving systems of strict polynomial inequalities
• Identifying the parametric occurrence of multiple steady states for some biological networks
• Towards physical hybrid systems
• On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
• An incremental algorithm for computing cylindrical algebraic decompositions
• Improving the use of equational constraints in cylindrical algebraic decomposition
• Combined Decision Techniques for the Existential Theory of the Reals
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions
• Cylindrical algebraic sub-decompositions
• scientific article; zbMATH DE number 784883 (Why is no real title available?)
• Proving inequalities and solving global optimization problems via simplified CAD projection
• Accelerating parameter synthesis using semi-algebraic constraints
• Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition

Describes a project that uses

Uses Software

• QEPCAD

This page was built for publication: Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3140554)