Cylindrical Algebraic Decomposition in the RegularChains Library
From MaRDI portal
Publication:2879157
DOI10.1007/978-3-662-44199-2_65zbMath1437.14007OpenAlexW2279960605MaRDI QIDQ2879157
Marc Moreno Maza, Changbo Chen
Publication date: 8 September 2014
Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_65
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Geometric aspects of numerical algebraic geometry (14Q65) Computational real algebraic geometry (14Q30)
Related Items
Curtains in CAD: Why Are They a Problem and How Do We Fix Them?, Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks, Regular cylindrical algebraic decomposition, Open weak CAD and its applications, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, On types of degenerate critical points of real polynomial functions, CylindricalAlgebraicDecompose, Quantifier elimination by cylindrical algebraic decomposition based on regular chains, New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
Uses Software