6 citations · 9 across the 8 of their papers we have counts for
8 papers
Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
Rashid Barket, Matthew England, Jürgen Gerhard
Symbolic indefinite integration in Computer Algebra Systems such as Maple involves selecting the most effective algorithm from multiple available methods. Not all methods will succ…
Predicting At-Risk Programming Students in Small Imbalanced Datasets using Synthetic Data
Daniel Flood, Matthew England, Beate Grawemeyer
This study is part of a larger project focused on measuring, understanding, and improving student engagement in programming education. We investigate whether synthetic data generat…
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…
Abelian functions associated with genus three algebraic curves
J. C. Eilbeck, M. England, Y. Onishi
We develop the theory of Abelian functions associated with algebraic curves. The growth in computer power and an advancement of efficient symbolic computation techniques has allowe…