Skip to content

Integration by parts descends on the total power of its transcendental factors, takes two of them against a polynomial whose antiderivative is chosen to match, and a logarithm or an arctangent of a polynomial is closed at any depth - #1320

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
by-parts-measures-the-total-power
Sep 13, 2026