JUCS - Journal of Universal Computer Science 4(1): 16-24, doi: 10.3217/jucs-004-01-0016
Verified Quadrature in Determining Newton's Constant of Gravitation
expand article infoBruno Lang‡
‡ Fachbereich Mathematik, Bergische Universität GH Wuppertal, Germany

Corresponding author: Bruno Lang ( bruno.lang@math.uni-wuppertal.de )

© Bruno Lang.
This article is freely available under the J.UCS Open Content License.
Citation: Lang B (1998) Verified Quadrature in Determining Newton's Constant of Gravitation. JUCS - Journal of Universal Computer Science 4(1): 16-24. https://doi.org/10.3217/jucs-004-01-0016
Open Access
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