2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
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…
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…