Newton's constant of gravitation and verified numerical quadrature. - O. Holzmann; Bruno Lang; H. Schütt (Reliab. Comput., 1996)