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…