Computing cylindrical algebraic decomposition via triangular decomposition
From MaRDI portal
Publication:2883805
DOI10.1145/1576702.1576718zbMath1237.14068OpenAlexW2026774968MaRDI QIDQ2883805
Marc Moreno Maza, Changbo Chen, Bican Xia, Lu Yang
Publication date: 13 May 2012
Published in: Proceedings of the 2009 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.244.5117
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10)
Related Items
Chordality Preserving Incremental Triangular Decomposition and Its Implementation, Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks, A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs, Recent Advances in Real Geometric Reasoning, Lazard-style CAD and Equational Constraints, Faster real root decision algorithm for symmetric polynomials, Algorithms for computing triangular decomposition of polynomial systems, CAD and topology of semi-algebraic sets, Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition, Cylindrical algebraic sub-decompositions, Normal Form Analysis of ℤ2-Equivariant Singularities, Elimination theory in differential and difference algebra, 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 using local projections, $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation, Need Polynomial Systems Be Doubly-Exponential?, Fully incremental cylindrical algebraic decomposition, Cylindrical algebraic decomposition with equational constraints, Quantifier elimination by cylindrical algebraic decomposition based on regular chains, 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, Recognition of concurrency relations between inaccurate lines, Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure, Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness, New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis, A hypergeometric inequality, Computing real witness points of positive dimensional polynomial systems
Uses Software