New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

DOI10.1007/978-3-031-14788-3_17MaRDI QIDQ2109991zbMATH OpenOpenAlexFDO

Authors Tereso del Río, Matthew England

Publication date 21 December 2022

Full work available at URL https://arxiv.org/abs/2206.13480

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
• scientific article; zbMATH DE number 7339173
• Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
• Optimising problem formulation for cylindrical algebraic decomposition
• Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition

Cites work

• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 3640696 (Why is no real title available?)
• An incremental algorithm for computing cylindrical algebraic decompositions
• Applying machine learning to heuristics for real polynomial constraint solving
• Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
• Computing cylindrical algebraic decomposition via triangular decomposition
• Cylindrical algebraic decomposition in the RegularChains library
• Cylindrical algebraic decomposition with equational constraints
• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
• Efficient projection orders for CAD
• Fully incremental cylindrical algebraic decomposition
• Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
• Improving the use of equational constraints in cylindrical algebraic decomposition
• Open non-uniform cylindrical algebraic decompositions
• Optimising problem formulation for cylindrical algebraic decomposition
• Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
• The complexity of quantifier elimination and cylindrical algebraic decomposition
• Truth table invariant cylindrical algebraic decomposition
• Using machine learning to improve cylindrical algebraic decomposition
• Validity proof of Lazard's method for CAD construction
• Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks

Cited in

(7)

• Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
• Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
• Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD
• scientific article; zbMATH DE number 7339173 (Why is no real title available?)
• Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems
• Exploring alternative machine learning models for variable ordering in cylindrical algebraic decomposition
• A dataset for suggesting variable orderings for cylindrical algebraic decompositions

Describes a project that uses

Uses Software

• RegularChains
• SMT-LIB
• CylindricalAlgebraicDecompose

This page was built for publication: New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2109991)