This paper is under review which means review has begun. You can track the progress of this review on GitHub over here »
Rubi is a system for finding antiderivatives of mathematical expressions. It uses pattern-matching and a large set of currently over 6600 integration rules to solve an integration problem step-by-step until it has found an (often optimal) antiderivative. Rubi is verified against a large set of over 70000 integrals, and beside its Mathematica implementation we present here, it is already used in other open-source projects.