6 citations · 9 across the 8 of their papers we have counts for
5 papers · 1 filter
Transformers to Predict the Applicability of Symbolic Integration Routines
Rashid Barket, Uzma Shafiq, Matthew England +1
Symbolic integration is a fundamental problem in mathematics: we consider how machine learning may be used to optimise this task in a Computer Algebra System (CAS). We train transf…
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
Matthew England
This extended abstract accompanies an invited talk at CASC 2024, which surveys recent developments in Real Quantifier Elimination (QE) and Cylindrical Algebraic Decomposition (CAD)…
The Liouville Generator for Producing Integrable Expressions
Rashid Barket, Matthew England, Jürgen Gerhard
There has been a growing need to devise processes that can create comprehensive datasets in the world of Computer Algebra, both for accurate benchmarking and for new intersections…
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
Dorian Florescu, Matthew England
We present a new methodology for utilising machine learning technology in symbolic computation research. We explain how a well known human-designed heuristic to make the choice of…
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
Rashid Barket, Matthew England, Jürgen Gerhard
Computer Algebra Systems (e.g. Maple) are used in research, education, and industrial settings. One of their key functionalities is symbolic integration, where there are many sub-a…