Using machine learning to improve cylindrical algebraic decomposition
From MaRDI portal
Publication:2009221
DOI10.1007/s11786-019-00394-8zbMath1474.68464arXiv1804.10520OpenAlexW2799015977MaRDI QIDQ2009221
Zongyan Huang, David J. Wilson, Matthew England, James H. Davenport, Lawrence Charles Paulson, James P. Bridge
Publication date: 27 November 2019
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1804.10520
Gröbner basissymbolic computationcomputer algebracylindrical algebraic decompositionmachine learningparameter selectionsupport vector machine
Symbolic computation and algebraic computation (68W30) Learning and adaptive systems in artificial intelligence (68T05)
Related Items
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, An augmented MetiTarski dataset for real quantifier elimination using machine learning, Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, Identifying the parametric occurrence of multiple steady states for some biological networks, Cylindrical algebraic decomposition with equational constraints, 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, Deep learning Gauss-Manin connections
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
- Cylindrical algebraic sub-decompositions
- On using Lazard's projection in CAD construction
- Real quantifier elimination is doubly exponential
- Partial cylindrical algebraic decomposition for quantifier elimination
- Machine learning for mathematical software
- Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
- Multilayer feedforward networks are universal approximators
- The complexity of the word problems for commutative semigroups and polynomial ideals
- Support-vector networks
- Constructing a single cell in cylindrical algebraic decomposition
- Machine learning for first-order theorem proving
- Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
- Cylindrical algebraic decomposition using validated numerics
- Algorithmic methods for investigating equilibria in epidemic modeling
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
- Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
- Need Polynomial Systems Be Doubly-Exponential?
- Open Non-uniform Cylindrical Algebraic Decompositions
- Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition
- Understanding Branch Cuts of Expressions
- Real Quantifier Elimination in the RegularChains Library
- Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
- Computing cylindrical algebraic decomposition via triangular decomposition
- Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
- Solving Non-linear Arithmetic
- MetiTarski: Past and Future
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Cylindrical algebraic decompositions for boolean combinations
- Mathematics by machine
- Constructing fewer open cells by GCD computation in CAD projection
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Efficient projection orders for CAD
- QEPCAD B
- 10.1162/153244303322753616
- A Case Study on the Parametric Occurrence of Multiple Steady States
- A repository for CAD examples
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Real World Verification
- The SDEval benchmarking toolkit
- 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
- A logical calculus of the ideas immanent in nervous activity
- Algorithms in real algebraic geometry
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- Improved projection for cylindrical algebraic decomposition
- Truth table invariant cylindrical algebraic decomposition
- Cylindrical algebraic decomposition using local projections
