Rubi: Symbolic integrator based on an extensive system of integration rules (rulebasedintegration.org)
Symbolic Integration, Computer Algebra, Mathematics
70 points by ducktective 239 days ago | 26 comments