Definition of antidifferentiation
- Antidifferentiation is just differentiation backwards. The derivative of sin x is cos x, so the antiderivative of cos x is sin x; the derivative of x3 is 3x2, so the antiderivative of 3x2 is x3—you just go backwards. There's a bit more to it, but that's the basic idea.
- —Mark Ryan, Calculus For Dummies, 2003