scientific article; zbMATH DE number 7339173

MaRDI QIDQ4984748zbMATH OpenFDO

Authors Zhangpeng Zhu, Changbo Chen

Publication date 26 April 2021

zbMATH Keywords

cylindrical algebraic decompositionfeature extractionmachine learningvariable ordering

Mathematics Subject Classification ID

Computational real algebraic geometry (14Q30) Artificial neural networks and deep learning (68T07)

Recommendations

• Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
• Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
• Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
• Using machine learning to improve cylindrical algebraic decomposition
• Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
• New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
• Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
• A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs

Cited in

(9)

• Using machine learning to improve cylindrical algebraic decomposition
• Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
• New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
• 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
• 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
• Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
• Breaking the data barrier in learning symbolic computation: a case study on variable ordering suggestion for cylindrical algebraic decomposition

Describes a project that uses

Uses Software

• Maple

This page was built for publication:

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