Formal spectral gap for the Poincaré homology sphere S³/I* — decidable instance of undecidable gap via q=1/8 tail — Lean 4
-
Updated
Aug 15, 2026 - Lean
#
mellin-transform
Here are 4 public repositories matching this topic...
A MBConicHulls plugin that provides a processed result in terms of generalized hypergeometric functions.
-
Updated
Jul 15, 2026 - Wolfram Language
Zeta Functions and Riemann Theta Functions
-
Updated
Aug 3, 2026 - Lean
Reproducibility code (Python) for 'A Stochastic-Polynomial Bridge: PATP Extension of Moment-Based Uncertainty Evaluation via the Mellin Transform' — reproduces Tables 1–4 and Figure 1; Lean 4 proofs in companion Ku_PATP.
reproducible-research uncertainty-quantification measurement-uncertainty mellin-transform stochastic-polynomials
-
Updated
Aug 15, 2026 - Python
Improve this page
Add a description, image, and links to the mellin-transform topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mellin-transform topic, visit your repo's landing page and select "manage topics."