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.

Reference

Risch, R.H., "The Problem of Integration in Finite Terms", Transactions of the American Mathematical Society, volume 139 (1969), pages 167-189.