Computing cylindrical algebraic decomposition via triangular decomposition
From MaRDI portal
Recommendations
- Cylindrical algebraic sub-decompositions
- Computing with semi-algebraic sets represented by triangular decomposition
- Cylindrical algebraic decomposition using local projections
- Cylindrical algebraic decomposition in the RegularChains library
- Cylindrical algebraic decomposition using local projections
Cited in
(41)- Recent advances in real geometric reasoning
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- A hypergeometric inequality
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- Elimination theory in differential and difference algebra
- New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
- Normal form analysis of \(\mathbb Z_2\)-equivariant singularities
- Using machine learning to improve cylindrical algebraic decomposition
- Simplification of Cylindrical Algebraic Formulas
- Algorithms for computing triangular decomposition of polynomial systems
- Lazard-style CAD and Equational Constraints
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
- Need polynomial systems be doubly-exponential?
- Cylindrical algebraic decomposition with equational constraints
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
- 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
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
- Chordality preserving incremental triangular decomposition and its implementation
- Properness defects and projections and computation of at least one point in each connected component of a real algebraic set
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- Identifying the parametric occurrence of multiple steady states for some biological networks
- Fully incremental cylindrical algebraic decomposition
- A geometric approach to cylindrical algebraic decomposition
- Interval arithmetic in cylindrical algebraic decomposition
- Faster real root decision algorithm for symmetric polynomials
- Cylindrical algebraic sub-decompositions
- CAD and topology of semi-algebraic sets
- Truth table invariant cylindrical algebraic decomposition
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
- Computing real witness points of positive dimensional polynomial systems
- A dataset for suggesting variable orderings for cylindrical algebraic decompositions
- Recognition of concurrency relations between inaccurate lines
- Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure
- Triangular decomposition of semi-algebraic systems
- An incremental algorithm for computing cylindrical algebraic decompositions
- \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
- Cylindrical algebraic decomposition using local projections
- Cylindrical algebraic decomposition in the RegularChains library
- scientific article; zbMATH DE number 3921970 (Why is no real title available?)
This page was built for publication: Computing cylindrical algebraic decomposition via triangular decomposition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883805)
