An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
DOI10.1145/1577190.1577203zbMATH Open1356.68282OpenAlexW2057592112WikidataQ130969651 ScholiaQ130969651MaRDI QIDQ2959017FDOQ2959017
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
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
cylindrical algebraic decompositionquantifier eliminationsymbolic-numeric computationdynamic evaluationcertified numerical computation
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Cited In (14)
- Title not available (Why is that?)
- Using machine learning to improve cylindrical algebraic decomposition
- Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
- Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
- Need polynomial systems be doubly-exponential?
- Cylindrical algebraic decomposition with equational constraints
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems
- Development of SyNRAC
- Cylindrical algebraic sub-decompositions
- Truth table invariant cylindrical algebraic decomposition
- Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition
- Computational Science – ICCS 2005
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)
