Quantifier elimination by cylindrical algebraic decomposition based on regular chains

DOI10.1145/2608628.2608666zbMath1325.68268OpenAlexW2167856990MaRDI QIDQ5899515

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

quantifier eliminationcylindrical algebraic decompositiontriangular decompositionregular chains

Mathematics Subject Classification ID

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

Related Items (5)

Recent Advances in Real Geometric Reasoning ⋮ Termination of Single-Path Polynomial Loop Programs ⋮ On types of degenerate critical points of real polynomial functions ⋮ On the Implementation of CGS Real QE ⋮ Quantifier elimination by cylindrical algebraic decomposition based on regular chains

Uses Software

• Maple
• Jordan

Cites Work

• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Definability and decision problems in arithmetic
• Unnamed Item
• Unnamed Item

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