A certified upper bound of 0.1811918082 for the de Bruijn–Newman constant

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

1. 1Certification Complexity: A Computable Precision Lower Bound for Computer-Assisted ProofsReview · 2026
2. 2A Certified Bound and a Conditional Lean Theorem for a Bounded-Height Algebraicity Exclusion for Khinchin's ConstantOriginal Research · 2026
3. 3The Riemann Hypothesis — Complete Proof ProgramOriginal Research · 2026
4. 4More than 79.47% of the zeros of the Riemann zeta function are simple and on the critical lineReview · 2026
5. 5Directed Computer-Assisted Certification of a Local Order-10 Operator-Chain Corridor on the Real Interval 5 ≤ s ≤ 14.25 via a Fixed Uniform b₁ Remainder Coefficient, Proof-Preserving Critical-Block Adaptation, and Panel-Aligned Derivative-Group EnclosuresOriginal Research · 2026