Risch algorithm

The Risch algorithm is an algorithm for indefinite integration (finding antiderivatives). Part of its background theory is based on Liouville's principle from the 19th century.

The original paper was:

Risch,R.H.

The Problem of Integration in Finite Terms.

Trans. A.M.S. 139(1969) pp. 167-189.