Abel's addition theorem reduces a sum of integrals of a fixed algebraic function to a bounded number
of integrals of the same function, together with an
elementary function of the original endpoints.
If the associated algebraic curve has curve
genus ,
then, modulo periods arising from closed integration paths,
where
is an Abelian integral, the
are algebraic functions
of the
,
and
is a combination of algebraic functions and
their logarithms (Kleiman 2004). Choices of paths and
branches are understood in this statement.
For elliptic integrals, , so only one integral remains,
as in Euler's addition theorem. The related
Abel's curve theorem concerns sums taken over
intersections with a varying auxiliary algebraic curve
(Kleiman 2004).