Machine learning for mathematical software
From MaRDI portal
Publication:1662224
DOI10.1007/978-3-319-96418-8_20zbMath1395.68231arXiv1806.10920OpenAlexW2810716043MaRDI QIDQ1662224
Publication date: 17 August 2018
Full work available at URL: https://arxiv.org/abs/1806.10920
Symbolic computation and algebraic computation (68W30) Learning and adaptive systems in artificial intelligence (68T05)
Related Items
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
