Generate the Tracy-Widom distribution functions for beta = 1, 2, or 4 in Python
-
Updated
Mar 15, 2025 - Python
#
tracy-widom
Here are 3 public repositories matching this topic...
Kernel-checked random-matrix and analytic foundations in Lean 4: Airy and Tracy-Widom distributions, Fredholm series, Marchenko-Pastur, Stieltjes transforms
theorem-proving mathematical-analysis formalization formal-verification probability-theory random-matrix-theory mathlib tracy-widom lean4 lean-pkg
-
Updated
Oct 21, 2026 - Lean
axiomquant.org — The AXIOM QUANT research portal & mathematical substrate. Universal Threshold Kernel, Tracy-Widom & SLE, Zeta-GFF Blueprint, and Backyard Ultra Loop Engineering.
-
Updated
Sep 12, 2026 - HTML
Add this topic to your repo
To associate your repository with the tracy-widom topic, visit your repo's landing page and select "manage topics."