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.