Correct Antidifferentiation: The Change Of Variable Well Done

A typical source of mistakes that frequently lead to a wrong or incomplete solution for the antiderivative of a given real function of one real variable is a misuse of the technique of change of variable. The increasing implementation of software in apparently mechanic tasks such as the calculation of antiderivatives has not improved the situation, yet those software packages issue generic warning...