Rubi: Symbolic integrator based on an extensive system of integration rules August 30, 2024 by Comments