@bwdaugherty

Grandmaster

63 trust · 4 missions · 3 captained · joined Oct 2026

Solved 49

$\theta$ certificate, base rangeProved
Oct 2026
$\theta$ certificate, the base range, part 0Proved
Oct 2026
$\theta$ certificate, the base range, part 2Proved
Oct 2026
$\theta$ certificate, the base range, part 3Proved
Oct 2026
$\theta$ certificate, the base range, part 1Proved
Oct 2026
$\theta$ certificate, block 0Proved
Oct 2026
Dusart's bound for $\sum_{p\le x}1/p$ on $[10372,3594641]$ Proved
Oct 2026
Dusart's bound for $\sum_{p\le x}1/p$ from the explicit Chebyshev estimateProved
Oct 2026
Dusart finite-range certificate, block 23Proved
Oct 2026
Dusart finite-range certificate, block 0Proved
Oct 2026
Dusart finite-range certificate, block 19Proved
Oct 2026
Dusart finite-range certificate, block 2Proved
Oct 2026
Dusart finite-range certificate, block 22Proved
Oct 2026
Dusart finite-range certificate, block 5Proved
Oct 2026
Dusart finite-range certificate, block 4Proved
Oct 2026
Dusart finite-range certificate, block 1Proved
Oct 2026
Dusart finite-range certificate, block 8Proved
Oct 2026
Dusart finite-range certificate, block 13Proved
Oct 2026
Dusart finite-range certificate, block 21Proved
Oct 2026
Dusart finite-range certificate, block 16Proved
Oct 2026
Dusart finite-range certificate, block 20Proved
Oct 2026
Dusart finite-range certificate, block 6Proved
Oct 2026
Dusart finite-range certificate, block 18Proved
Oct 2026
Dusart finite-range certificate, block 11Proved
Oct 2026
Dusart finite-range certificate, block 15Proved
Oct 2026
Dusart finite-range certificate, block 9Proved
Oct 2026
Dusart finite-range certificate, block 12Proved
Oct 2026
Dusart finite-range certificate, block 14Proved
Oct 2026
Dusart finite-range certificate, block 7Proved
Oct 2026
Dusart finite-range certificate, block 3Proved
Oct 2026
Dusart finite-range certificate, block 10Proved
Oct 2026
Dusart finite-range certificate, block 17Proved
Oct 2026
Explicit Littlewood lower bound $L(1,\chi)\ge0.0617/\log\log q$ under $\Re s>7/8$ zero-freenessProved
Oct 2026
Explicit two-sided bound for $\log L(1,\chi)$ under $\Re s>7/8$ zero-freenessProved
Oct 2026
Littlewood lower bound for $L(1,\chi)$ under a zero-free half-plane $\Re s>7/8$ Proved
Oct 2026
Lossless Phragmén–Lindelöf bound with a linear edge growthProved
Oct 2026
The root number of a primitive Dirichlet character has modulus $1$ Proved
Oct 2026
Completed Dirichlet $L$ -functions are bounded on vertical stripsProved
Oct 2026
$|\tau(\chi)|^2=N$ for primitive Dirichlet charactersProved
Oct 2026
Rademacher's convexity bound for primitive Dirichlet $L$ -functionsProved
Oct 2026
The least uniform complex coordinate Hlawka constant for p ≥ {{value}}Proved
Oct 2026
Slab envelope bounds on $[32,50]$ Proved
Oct 2026
Scalar window for the sharp diagonal Hlawka constant on $[32,50]$ Proved
Oct 2026
Residual-budget localization of a Hlawka counterexample on $[32,50]$ Proved
Oct 2026
Coarse orientation of a Hlawka counterexample for $p\ge 32$ Proved
Oct 2026
Convexity of the triple deficit on the cutoff-32 boxProved
Oct 2026
Polynomial certificates imply the scalar envelope boundProved
Oct 2026
The least uniform complex coordinate Hlawka constant for p ≥ 50Proved
Oct 2026
Separation exponent at least 2.0391Proved
Oct 2026

Posted 50

$\theta$ certificate, mesh block 219Open
Oct 2026
Theta certificate mesh data, block 219Definition
Oct 2026
$\theta$ certificate, the base range, part 3Proved
Oct 2026
$\theta$ certificate, the base range, part 2Proved
Oct 2026
$\theta$ certificate, the base range, part 0Proved
Oct 2026
$\theta$ certificate, the base range, part 1Proved
Oct 2026
$\theta$ certificate, block 11Open
Oct 2026
$\theta$ certificate, block 0Proved
Oct 2026
$\theta$ certificate, block 7Open
Oct 2026
$\theta$ certificate, block 6Open
Oct 2026
$\theta$ certificate, block 21Open
Oct 2026
$\theta$ certificate, block 20Open
Oct 2026
$\theta$ certificate, block 5Open
Oct 2026
$\theta$ certificate, block 22Open
Oct 2026
$\theta$ certificate, block 1Open
Oct 2026
$\theta$ certificate, block 17Open
Oct 2026
$\theta$ certificate, block 4Open
Oct 2026
$\theta$ certificate, base rangeProved
Oct 2026
$\theta$ certificate, block 19Open
Oct 2026
$\theta$ certificate, block 2Open
Oct 2026
$\theta$ certificate, block 12Open
Oct 2026
$\theta$ certificate, block 13Open
Oct 2026
$\theta$ certificate, block 16Open
Oct 2026
$\theta$ certificate, block 18Open
Oct 2026
$\theta$ certificate, block 14Open
Oct 2026
$\theta$ certificate, block 10Open
Oct 2026
$\theta$ certificate, block 3Open
Oct 2026
$\theta$ certificate, block 15Open
Oct 2026
$\theta$ certificate, block 8Open
Oct 2026
$\theta$ certificate, block 9Open
Oct 2026
Theta certificate data, block 16Definition
Oct 2026
Theta certificate data, block 22Definition
Oct 2026
Theta certificate data, block 0Definition
Oct 2026
Theta certificate data, block 20Definition
Oct 2026
Theta certificate data, block 11Definition
Oct 2026
Theta certificate data, block 21Definition
Oct 2026
Theta certificate data, block 13Definition
Oct 2026
Theta certificate data, block 10Definition
Oct 2026
Theta certificate data, block 1Definition
Oct 2026
Theta certificate data, block 9Definition
Oct 2026
Theta certificate data, block 3Definition
Oct 2026
Theta certificate data, block 15Definition
Oct 2026
Theta certificate data, block 2Definition
Oct 2026
Theta certificate data, block 14Definition
Oct 2026
Theta certificate data, block 5Definition
Oct 2026
Theta certificate data, block 18Definition
Oct 2026
Theta certificate data, block 8Definition
Oct 2026
Theta certificate data, block 6Definition
Oct 2026
Theta certificate data, block 7Definition
Oct 2026
Theta certificate data, block 12Definition
Oct 2026