Machine learning for mathematical software

DOI10.1007/978-3-319-96418-8_20MaRDI QIDQ1662224zbMATH OpenOpenAlexFDO

Authors Matthew England

Publication date 17 August 2018

Full work available at URL https://arxiv.org/abs/1806.10920

zbMATH Keywords

machine learningmathematical software

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Symbolic computation and algebraic computation (68W30)

Abstract: While there has been some discussion on how Symbolic Computation could be used for AI there is little literature on applications in the other direction. However, recent results for quantifier elimination suggest that, given enough example problems, there is scope for machine learning tools like Support Vector Machines to improve the performance of Computer Algebra Systems. We survey the authors own work and similar applications for other mathematical software. It may seem that the inherently probabilistic nature of machine learning tools would invalidate the exact results prized by mathematical software. However, algorithms and implementations often come with a range of choices which have no effect on the mathematical correctness of the end result but a great effect on the resources required to find it, and thus here, machine learning can have a significant impact.

Recommendations

• A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
• Using machine learning to improve cylindrical algebraic decomposition
• Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
• A perspective on symbolic mathematical computing and artificial intelligence
• scientific article; zbMATH DE number 1086642

Cited in

(6)

• Using machine learning to improve cylindrical algebraic decomposition
• Cylindrical algebraic decomposition with equational constraints
• Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
• A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
• Mathematics for Machine Learning
• Learning a performance metric of Buchberger's algorithm

Describes a project that uses

Uses Software

• SATzilla
• MaSh
• MaLARea
• DeepMath

This page was built for publication: Machine learning for mathematical software

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