A reduction formula is a recurrence relation that expresses a member of a parametrized family of quantities in terms of members
with smaller parameter values. Reduction formulas are especially common for integrals
and permit repeated reduction to one or more initial cases. For example, integration
by parts gives