An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

DOI10.1145/1577190.1577203zbMath1356.68282OpenAlexW2057592112MaRDI QIDQ2959017

Hitoshi Yanami, Kazuhiro Yokoyama, Hidenao Iwane, Hirokazu Anai

Publication date: 3 February 2017

Published in: Proceedings of the 2009 conference on Symbolic numeric computation (Search for Journal in Brave)

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

zbMATH Keywords

quantifier eliminationcylindrical algebraic decompositionsymbolic-numeric computationdynamic evaluationcertified numerical computation

Mathematics Subject Classification ID

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

Related Items (9)

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination ⋮ Cylindrical algebraic sub-decompositions ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ Need Polynomial Systems Be Doubly-Exponential? ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree ⋮ Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition ⋮ Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition

This page was built for publication: An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination