Adaptive, self-validating numerical quadrature

Indefinite integration with validation

ACM Transactions on Mathematical Software (TOMS)

Application of numerical interval analysis to obtain self-validating results for multivariate probabilities in a massively parallel environment

Statistics and Computing

Self-validating integration and approximation of piecewise analytic functions

Journal of Computational and Applied Mathematics

Principles of verified numerical integration

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)