Imagen de Portada

LeanC2: Lean 4 formalization for the C2

Fuente: Zenodo

Guardado en:

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

Ejemplares similares

Dyadic Geometry of the Zeta Function — Formal Lean Verification
por: Motta, Thiago F.
Publicado: (2026)

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

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)

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

Orbit: Computational Tools for Mathematical Explorations
por: Popelka, Jan
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)

A Proof of the Riemann Hypothesis
por: Keen, Joseph
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)

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

Lean Nems (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

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

UGP/GTE Lean formalization
por: Spivack, Nova
Publicado: (2026)

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

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

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

(Technical Note) What the Ceiling Means: Constructive Schools, Physical Actualisation, and the Fine Structure of BISH+LPO (Paper 43, Constructive Reverse Mathematics Series)
por: Lee, Paul Chun-Kit
Publicado: (2026)

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

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

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

The Square-Root Symmetry: A Structural Framework for the Riemann Zeta Function
por: Marcovich, Barry
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)

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)

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

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

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)

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

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

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

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

SAPZ–ζ Bridge Part I (v1.0): Operator-Generated Log-Correlated Structure at the Mesoscopic Scale
por: Lee, Byoungwoo
Publicado: (2025)

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

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

Formal Verification of Plasma-Mediated N₂ Fixation — Viridis Applied Proofs Series 1
por: Hart, Justin
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)

Proofs of the Closure Targets (T1)–(T8) for the Balanced TEBAC Operator Companion preprint: a referee-proof Hilbert–Pólya pipeline from microlocal prime correspondences to a completed ξ-determinant
por: Karadzhov, Tosho Lazarov
Publicado: (2025)