Integration in Finite Terms: Dilogarithmic Integrals
We extend the theorem of Liouville on integration in finite terms to include dilogarithmic integrals. The results provide a necessary and sufficient condition for an element of the base field to have an antiderivative in a field extension generated by transcendental elementary functions and dilogarithmic integrals. We also study algebraic independence of certain dilogarithmic integrals.