Bruno Lang. Derivative-Based Subdivision in Multi-dimensional Verified Gaussian Quadrature. In Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto, editors, Symbolic Algebraic Methods and Verification Methods. pages 145-152, Springer, 2001.
Abstract is missing.