Noun
antidifferentiation (plural antidifferentiations) (calculus) The process of finding the antiderivative.