Bernstein's constant to ten rigorously certified digits: beta = 0.2801694990, proved in interval arithmetic (Arb) where the 1985 Varga-Carpenter rigorous enclosure gives five. OEIS A073001. Every number re-derivable from the shipped data in exact arithmetic.
reproducible-research open-data oeis interval-arithmetic arb numerical-analysis approximation-theory computer-assisted-proof chebyshev-approximation rigorous-numerics best-uniform-approximation mathematical-constants certified-computation python-flint bernstein-constant
-
Updated
Sep 3, 2026 - Python