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