Skip to Main content Skip to Navigation
Journal articles

Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta=1.819...

Guillaume Melquiond 1 Werner Georg Nowak 2 Paul Zimmermann 3
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
3 CARAMEL - Cryptology, Arithmetic: Hardware and Software
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : We prove that the constant studied by Masser, Gramain, and Weber, satisfies 1.819776 < delta < 1.819833, and disprove a conjecture of Gramain. This constant is a two-dimensional analogue of the Euler-Mascheroni constant; it is obtained by computing the radius rk of the smallest disk of the plane containing k Gaussian integers. While we have used the original algorithm for smaller values of k, the bounds above come from methods we developed to obtain guaranteed enclosures for larger values of k.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00644166
Contributor : Paul Zimmermann Connect in order to contact the contributor
Submitted on : Wednesday, November 23, 2011 - 5:11:18 PM
Last modification on : Tuesday, November 23, 2021 - 1:40:11 PM

Links full text

Identifiers

Citation

Guillaume Melquiond, Werner Georg Nowak, Paul Zimmermann. Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta=1.819.... Mathematics of Computation, American Mathematical Society, 2013, 82, pp.1235-1246. ⟨10.1090/S0025-5718-2012-02635-4⟩. ⟨hal-00644166⟩

Share

Metrics

Les métriques sont temporairement indisponibles