It's a package for solving symbolic integrals that outperforms many systems. It has an extensive test-suite of over 72,000 integration problems and I encourage you to try how many of them can be solved by SymPy or Julia. Spoiler: I already helped porting it to Symja and if the python community can solve the problems with MatchPy, the port to SymPy can be finished as well.
https://rulebasedintegration.org/
It's a package for solving symbolic integrals that outperforms many systems. It has an extensive test-suite of over 72,000 integration problems and I encourage you to try how many of them can be solved by SymPy or Julia. Spoiler: I already helped porting it to Symja and if the python community can solve the problems with MatchPy, the port to SymPy can be finished as well.
Disclaimer: I'm one of its developers