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

DOI10.1145/1577190.1577203MaRDI QIDQ2959017zbMATH OpenOpenAlexWikidataFDO

Authors Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama

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

certified numerical computationcylindrical algebraic decompositiondynamic evaluationquantifier eliminationsymbolic-numeric computation

Mathematics Subject Classification ID

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

Recommendations

• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems
• Partial cylindrical algebraic decomposition for quantifier elimination
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Development of SyNRAC

Cited in

(14)

• Using machine learning to improve cylindrical algebraic decomposition
• Cylindrical algebraic decomposition with equational constraints
• Need polynomial systems be doubly-exponential?
• An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems
• The complexity of cylindrical algebraic decomposition with respect to polynomial degree
• Development of SyNRAC
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• scientific article; zbMATH DE number 1263359 (Why is no real title available?)
• Cylindrical algebraic sub-decompositions
• Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition
• 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
• Computational Science – ICCS 2005
• Truth table invariant cylindrical algebraic decomposition

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

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