Pinned Loading

1. Ranking_Symbolic_Int_Methods Ranking_Symbolic_Int_Methods Public

   Pytorch implementation of Tree Transformers to Rank Symbolic Integration Algorithms in Maple

   Python

2. TransformersVsGuards TransformersVsGuards Public

   This is the main code respoitory for Maple and Python Implementation of "Transformers to Predict the Applicability of Symbolic Integration Routines"

   Python 1

3. GenInt GenInt Public

   Generating Elementary Integrable Expressions

   JetBrains MPS

4. Int_Algo_Selection Int_Algo_Selection Public

   Deep Graph Library and Pytorch implementation of the paper Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs.

   Jupyter Notebook 1

5. Liouville Liouville Public

   Implementation of the Liouville Generator from the paper "The Liouville Generator for Producing Integrable Expressions"

   Jupyter Notebook