Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
From MaRDI portal
Publication:2879161
DOI10.1007/978-3-662-44199-2_69zbMath1437.14008arXiv1405.6090OpenAlexW126540604WikidataQ59590583 ScholiaQ59590583MaRDI QIDQ2879161
Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport
Publication date: 8 September 2014
Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1405.6090
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Geometric aspects of numerical algebraic geometry (14Q65)
Related Items
Recent Advances in Real Geometric Reasoning, What does ``without loss of generality mean, and how do we detect it, Using machine learning to improve cylindrical algebraic decomposition, Identifying the parametric occurrence of multiple steady states for some biological networks, Truth table invariant cylindrical algebraic decomposition, Cylindrical algebraic decomposition with equational constraints, The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree, Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
Uses Software
