Quantifier elimination by cylindrical algebraic decomposition based on regular chains

DOI10.1145/2608628.2608666MaRDI QIDQ5899515zbMATH OpenOpenAlexFDO

Authors Changbo Chen, Marc Moreno Maza

Publication date 11 November 2015

Published in Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2608628.2608666

zbMATH Keywords

cylindrical algebraic decompositionquantifier eliminationregular chainstriangular decomposition

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Symbolic computation and algebraic computation (68W30)

Recommendations

• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Real quantifier elimination in the RegularChains library
• scientific article; zbMATH DE number 3880114
• Partial cylindrical algebraic decomposition for quantifier elimination
• Quantifier elimination for real algebra -- the quadratic case and beyond

Cites work

• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• Definability and decision problems in arithmetic
• scientific article; zbMATH DE number 1952952 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• On Computable Numbers, with an Application to the Entscheidungsproblem
• The Jordan Curve Theorem, Formally and Informally

Cited in

(17)

• Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
• On types of degenerate critical points of real polynomial functions
• On the implementation of CGS real QE
• An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems
• Real quantifier elimination in the RegularChains library
• On delineability of varieties in CAD-based quantifier elimination with two equational constraints
• Termination of single-path polynomial loop programs
• Recent advances in real geometric reasoning
• scientific article; zbMATH DE number 1263359 (Why is no real title available?)
• Quantifier elimination for a class of exponential polynomial formulas
• Towards fast one-block quantifier elimination through generalised critical values
• Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition
• Artificial Intelligence and Symbolic Computation
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Criteria for Hopf bifurcations with fixed multiplicities
• On minimal and minimum cylindrical algebraic decompositions
• Further results on minimal and minimum cylindrical algebraic decompositions

Describes a project that uses

Uses Software

• Maple
• Jordan

This page was built for publication: Quantifier elimination by cylindrical algebraic decomposition based on regular chains

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