Imagen de Portada

Dyadic Geometry of the Zeta Function — Formal Lean Verification

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autor principal:	Motta, Thiago F.
Formato:	Recurso digital
Lenguaje:	inglés
Publicado:	Zenodo 2026
Materias:	Lean 4 Mathlib Riemann Hypothesis zeta function dyadic geometry formal proof
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

LeanC2: Lean 4 formalization for the C2
por: Motta, Thiago F.
Publicado: (2026)

Abstract Zeta–Möbius Inversion: A Minimal Monoid-Based Schema for Formal Verification
por: Jefferson, Bob
Publicado: (2026)

The zeta(s) function. Endless spirals in search of their origin.
por: Servi, Dante
Publicado: (2022)

Three Axioms for the Motive: Constructive Reverse Mathematics Meets Grothendieck's Universal Cohomology (Paper 50, Lean 4 Formalization)
por: Lee, Paul Chun-Kit
Publicado: (2026)

Completed Dyadic Zeta Functions with Cosine and Sine Kernels: Functional Symmetry and Zero Distributions Modeled on Riemann's ξ(s)
por: Odeh, Salaheddin
Publicado: (2025)

Demonstrating the Riemann Hypothesis Through Motivic Symmetry and Cohomological Duality
por: Marinescu, Constantina Violeta
Publicado: (2025)

The Square-Root Symmetry: A Structural Framework for the Riemann Zeta Function
por: Marcovich, Barry
Publicado: (2026)

Eid's Covenant: A Unified Adelic–Phase–Xi Program for the Riemann Hypothesis, with Supplementary Notes
por: EID, SALEM
Publicado: (2026)

Spectral Admissibility, Harmonic Sums, and the Emergence of Lawful Modes
por: Stanford, Paul Vincent Raymond
Publicado: (2025)

Amendment LXXIII: The Riemann Hypothesis as Phi Resonance on the Critical Line
por: McCaul, Justin, et al.
Publicado: (2026)

Formal Verification of Plasma-Mediated N₂ Fixation — Viridis Applied Proofs Series 1
por: Hart, Justin
Publicado: (2026)

A Proof of the Riemann Hypothesis
por: Keen, Joseph
Publicado: (2026)

The Riemann Hypothesis as a Corollary of the Granger Representation Theorem: ARIMA(35, 1, ∞) from the Standard Model Algebra A_F = ℂ ⊕ M₂(ℂ) ⊕ M₃(ℂ) at β = 2π
por: Montgomery, Daland
Publicado: (2026)

The Riemann hypothesis: The great pending mathematical challenge
por: Pilar Bayer Isant
Publicado: (2018)

CFP-MCFP Complete Theorem Proofs: 78 Slides with Lean 4 Proof Details
por: Mr. NeC B.V.
Publicado: (2026)

The Equilibrium Point of the Riemann Zeta Function Between e and π: A Theorem and a New Constant Beq
por: Brindel, Judicael
Publicado: (2026)

Spectral Identification of the Zeta D'Alembertian: The Exact Coeficient cn = 1, the Weyl Limit-Point Condition, and Completeness via Beurling Density
por: de Oliveira, Leandro
Publicado: (2026)

The Origin of Zeta: Emergence of the Partition Function from Arithmetic Equilibrium
por: DELATORRE, JOHN, et al.
Publicado: (2025)

On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
por: Merle, Eric
Publicado: (2026)

Chebyshev Bias and Golden Phase Structure mod 5
por: Keeble, Clifford
Publicado: (2026)

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
por: Spivack, Nova
Publicado: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
por: Spivack, Nova
Publicado: (2026)

From Five-Class Blocks to the Riemann Hypothesis
por: Miño Arnoso, Samuel Victor
Publicado: (2026)

riemann-bracket: Selberg-calibrated interval predictor for Riemann zeta zeros (v0.2.0)
por: Lebedevs, Aleksejs
Publicado: (2026)

Die Riemannsche Vermutung (RH) im Lichte der SrGT: Analytische Außenspur, universale Halbstruktur und dimensionsgebundene Primzahlenrealität zwischen RH, Euler, Gauss, Eratosthenes und SrGT
por: Janisch, Christian
Publicado: (2026)

Regularized determinant of the Laplacian on forms over odd dimensional projective spaces
por: Rafael, F. S.
Publicado: (2022)

On Certain Spectral Operators Associated with the Riemann Zeta Function - with consequences for the Riemann Hypothesis
por: Botha, Marius
Publicado: (2025)

On the Resolution of the Riemann Hypothesis via a Self-Adjoint Operator
por: Antipov, Alexander
Publicado: (2025)

The Ghost Drift of Meaning: A Structured Proof of the Riemann Hypothesis via the Zeta Function
por: Maeki, Hidemitsu
Publicado: (2025)

Orbit: Computational Tools for Mathematical Explorations
por: Popelka, Jan
Publicado: (2025)

Closed-Form Expressions for Odd-Order Riemann Zeta Functions and Their Rigorous Proofs (Part II)
por: liu, shifa
Publicado: (2026)

Prime Density in Permutation Families with Fixed Digital Root Across Numeral Bases: An Empirical Study with a Conditional Hardy–Littlewood Framework and Machine-Verified Algebraic Results
por: Ferraiuolo, Giovanni
Publicado: (2026)

A Proof of the Riemann Hypothesis for the Riemann Zeta Function: Weil Positivity via Semilocal Spectral Descent
por: Franchi Viceré, Christian
Publicado: (2026)

The Brindel Transformation: A Fixed-Point Method in Analytic Number Theory — From the Zeta Function to Automorphic L-Functions
por: Brindel, Judicael
Publicado: (2026)

Lean Representational Incompleteness (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Representational Incompleteness (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Reflexive Closure (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Aps Recursion Uniformization (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Observer Non Exhaustability (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Observer Non Exhaustability (Lean formalization)
por: Spivack, Nova
Publicado: (2026)