Verified Quadrature in Determining Newton's Constant of Gravitation
Bruno Lang (Fachbereich Mathematik, Bergische Universität GH Wuppertal, Germany)
Abstract: This paper describes the use of interval arithmetic to bound errors in an experiment for determining Newton's constant of gravitation. Using verified Gaussian quadrature we were able to assess the numerical errors as well as the effect of several tolerances in the physical experiment.
Keywords: Constant of gravitation, Gaussian quadrature, validated numerics