An infinite family disproving Warnaar–Zudilin Conjecture 5, with a self-contained proof and independent exact verifiers.
-
Updated
Jul 27, 2026 - Python
#
q-series
Here are 3 public repositories matching this topic...
Code and generated data for numerical verification of Airy turning-point asymptotics for Ramanujan's A_q function
-
Updated
Jul 29, 2026 - Python
A Lean 4 + Mathlib formalization of Hei-Chi Chan's 'An Invitation to q-Series' — 255k lines, 26.5k theorems, every chapter-main result verified on Lean's core axioms
-
Updated
Jun 6, 2026 - Lean
Improve this page
Add a description, image, and links to the q-series topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the q-series topic, visit your repo's landing page and select "manage topics."