Rubi: Symbolic integrator based on an extensive system of integration rules(rulebasedintegration.org)46 points by ducktective 2 years ago | 22 comments