littlewood

Here are 2 public repositories matching this topic...

arikanatakan / revmng

Revenue management for Python: single-leg seat protection (Littlewood, EMSR, exact DP), overbooking, pricing, group displacement, length-of-stay and network bid prices. Validated against published worked examples.

python pricing airline hotel operations-research revenue-management yield-management operations-management overbooking littlewood bid-price newsvendor revpar emsr capacity-control

Updated Jun 17, 2026
Python

DavidFox998 / rh-growth-contradiction

Star

Route C of 4 — Act III Growth. RH via contradiction: |ζ|≤C(log t)² false via Littlewood 1924 Ω exp(c√(log t/log log t)). Zero repulsion c1=0.209>0.2 β>0.9 closed at p5 → S₄={2,3,19,191} C=11.422>2√13 → GRH → H₄ 12/11 → RH. Lean 4.12 0 sorry. Opera Numerorum with A, B, D 35 brothers desert.

riemann-zeta number-theory mathlib grh riemann-hypothesis analytic-number-theory littlewood lean4 riemann-zeta-function formal-proof riemann-hypothesis-lean4-mathematics riemann-zeta-constant bost-connes x0-143 riemann-zeta- kronecker-theorem omega-result zero-repulsion

Updated Aug 24, 2026
Lean

Add this topic to your repo

To associate your repository with the littlewood topic, visit your repo's landing page and select "manage topics."

Learn more