Rubi: Solving Integrals, One Rule at a Time

Patrick Scheibe

Symbolic integration often relies on algorithms to find antiderivatives. Rule-based integrator Rubi uses thousands of human-readable mathematical rules, systematically applied, to determine integrals. This provides transparent integration steps and yields simpler and more accurate results. Today, we'll delve into Rubi, exploring its potential and comparing it to conventional integrators.