Machine learning for mathematical software

DOI10.1007/978-3-319-96418-8_20zbMath1395.68231arXiv1806.10920OpenAlexW2810716043MaRDI QIDQ1662224

Matthew England

Publication date: 17 August 2018

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

zbMATH Keywords

mathematical softwaremachine learning

Mathematics Subject Classification ID

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

Related Items (5)

A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs ⋮ Learning a performance metric of Buchberger's algorithm ⋮ 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

Uses Software

• SATzilla
• MaSh
• MaLARea
• DeepMath

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