Integration in finite terms: dilogarithmic integrals

Abstract

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.