R rulebasedintegration.org Rubi: Symbolic integrator based on an extensive system of integration rules 70 points ducktective 2 years ago 26 comments
