This article needs additional citations for verification. (December 2009) |
In mathematics, a nonelementary antiderivative of a given elementary function is an antiderivative (or indefinite integral) that is, itself, not an elementary function.[1] A theorem by Liouville in 1835 provided the first proof that nonelementary antiderivatives exist.[2] This theorem also provides a basis for the Risch algorithm for determining (with difficulty) which elementary functions have elementary antiderivatives.