A dataset for suggesting variable orderings for cylindrical algebraic decompositions
From MaRDI portal
Publication:6660322
DOI10.1007/978-3-031-69070-9_7MaRDI QIDQ6660322FDOQ6660322
Chengrong Qian, Yuegang Zhao, Rui-Juan Jing, Changbo Chen, Ya-Ru Yuan
Publication date: 10 January 2025
datasetmachine learningsymbolic computationcylindrical algebraic decompositionvariable orderingheuristic method
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computing cylindrical algebraic decomposition via triangular decomposition
- <tex>$QR$</tex>Factoring to Compute the GCD of Univariate Approximate Polynomials
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
- The numerical factorization of polynomials
- Real Quantifier Elimination in the RegularChains Library
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
- New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
- Good pivots for small sparse matrices
- Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving
- Advancing mathematics by guiding human intuition with AI
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
- Computing the real solutions of polynomial systems with the RegularChains library in Maple
- 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
This page was built for publication: A dataset for suggesting variable orderings for cylindrical algebraic decompositions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6660322)