A dataset for suggesting variable orderings for cylindrical algebraic decompositions
type: Item
instance of: scholarly article
title: A dataset for suggesting variable orderings for cylindrical algebraic decompositions
DOI: 10.1007/978-3-031-69070-9_7
author: Changbo Chen
author: Rui-Juan Jing
author: Chengrong Qian
author: Ya-Ru Yuan
author: Yuegang Zhao
publication date: 2025-01-10T00:00:00Z
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7964704
zbMATH Keywords: dataset
zbMATH Keywords: symbolic computation
zbMATH Keywords: cylindrical algebraic decomposition
zbMATH Keywords: variable ordering
zbMATH Keywords: machine learning
zbMATH Keywords: heuristic method
MaRDI profile type: Publication
cites work: Q5301651
cites work: Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving
cites work: Computing the real solutions of polynomial systems with the RegularChains library in Maple
cites work: An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
cites work: Real Quantifier Elimination in the RegularChains Library
cites work: Computing cylindrical algebraic decomposition via triangular decomposition
cites work: Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
cites work: Q4079605
cites work: &lt;tex&gt;$QR$&lt;/tex&gt;Factoring to Compute the GCD of Univariate Approximate Polynomials
cites work: Advancing mathematics by guiding human intuition with AI
cites work: New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
cites work: A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
cites work: An augmented MetiTarski dataset for real quantifier elimination using machine learning
cites work: Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
cites work: Good pivots for small sparse matrices
cites work: Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
cites work: Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
cites work: The numerical factorization of polynomials
description: scientific article; zbMATH DE number 7964704