Rubi: Solving Integrals, One Rule at a Time

Symbolic integration, a cornerstone of computational mathematics, traditionally relies on intricate algorithms to find antiderivatives. Rubi, a rule-based integrator, takes a different and unique approach. Instead of algorithms, Rubi uses thousands of human-readable mathematical rules, systematically applied, to determine integrals. This method provides more transparent integration steps and often yields simpler and more accurate results than traditional means. In this talk, we'll delve into the world of Rubi, exploring its potential and comparing it to conventional integrators.

algorithms computational human integration mathematics rules