Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
From MaRDI portal
Abstract: Cylindrical algebraic decomposition(CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. When using CAD, there is often a choice for the ordering placed on the variables. This can be important, with some problems infeasible with one variable ordering but easy with another. Machine learning is the process of fitting a computer model to a complex function based on properties learned from measured data. In this paper we use machine learning (specifically a support vector machine) to select between heuristics for choosing a variable ordering, outperforming each of the separate heuristics.
Recommendations
- Using machine learning to improve cylindrical algebraic decomposition
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
- scientific article; zbMATH DE number 7339173
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Cites work
- A logical calculus of the ideas immanent in nervous activity
- A repository for CAD examples
- Algorithmic methods for investigating equilibria in epidemic modeling
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- An introduction to support vector machines and other kernel-based learning methods.
- Computing cylindrical algebraic decomposition via triangular decomposition
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Cylindrical algebraic decomposition using validated numerics
- Cylindrical algebraic decompositions for Boolean combinations
- Efficient projection orders for CAD
- scientific article; zbMATH DE number 1302474 (Why is no real title available?)
- scientific article; zbMATH DE number 1157648 (Why is no real title available?)
- scientific article; zbMATH DE number 1157658 (Why is no real title available?)
- scientific article; zbMATH DE number 2145000 (Why is no real title available?)
- scientific article; zbMATH DE number 6317138 (Why is no real title available?)
- Improved projection for cylindrical algebraic decomposition
- Machine learning for first-order theorem proving
- MetiTarski: An automatic theorem prover for real-valued special functions
- Multilayer feedforward networks are universal approximators
- Optimising problem formulation for cylindrical algebraic decomposition
- Partial cylindrical algebraic decomposition for quantifier elimination
- QEPCAD B
- Solving non-linear arithmetic
- Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
- The complexity of quantifier elimination and cylindrical algebraic decomposition
Cited in
(29)- Using machine learning to improve cylindrical algebraic decomposition
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- Identifying the parametric occurrence of multiple steady states for some biological networks
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Fully incremental cylindrical algebraic decomposition
- Cylindrical algebraic decomposition with equational constraints
- Need polynomial systems be doubly-exponential?
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- Recent advances in real geometric reasoning
- scientific article; zbMATH DE number 7339173 (Why is no real title available?)
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
- Applying machine learning to heuristics for real polynomial constraint solving
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
- Truth table invariant cylindrical algebraic decomposition
- Learning a performance metric of Buchberger's algorithm
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
- Computing with Tarski formulas and semi-algebraic sets in a web browser
- Generating Elementary Integrable Expressions
- Symbolic integration algorithm selection with machine learning: LSTMs vs tree LSTMs
- Exploring alternative machine learning models for variable ordering in cylindrical algebraic decomposition
- Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems
- Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD
- Recent developments in real quantifier elimination and cylindrical algebraic decomposition (extended abstract of invited talk)
- A dataset for suggesting variable orderings for cylindrical algebraic decompositions
- Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure
- On minimal and minimum cylindrical algebraic decompositions
- Further results on minimal and minimum cylindrical algebraic decompositions
- Breaking the data barrier in learning symbolic computation: a case study on variable ordering suggestion for cylindrical algebraic decomposition
This page was built for publication: Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5495916)
