Principles of verified numerical integration

We describe methods for the numerical calculation of integrals with verified error bounds. The problems range from integration over an interval to integration of parameter-dependent integrands over the whole d-variate space. It is argued, why we use bounds for the integrands in the complex plane as a tool for bounding the error in our own integration software.