Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs

arXiv:2404.14973v1 Announce Type: new
Abstract: 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-algorithms to choose from that can affect the form of the output integral, and the runtime. Choosing the right sub-algorithm for a given problem is challenging: we hypothesise that Machine Learning can guide this sub-algorithm choice. A key consideration of our methodology is how to represent the mathematics to the …

abstract algebra algorithm algorithms arxiv computer cs.lg cs.ms cs.sc education form industrial integral integration key machine machine learning research systems tree type