Cover Image

The Hodge Conjecture: A Spectral Fingerprint Proof & Lean 4 Formal Verification (Repo: https://github.com/merchantmoh-debug/Hodge-Conjecture-Lean-4-Solution-Repository.)

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Al-Zawahreh, Mohamad
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Formal Proof of the Hodge Conjecture Using Chaos-Inspired Dynamics
by: Ednyashev, Sanal
Published: (2025)

On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4
by: Hachimori, Masahiro, et al.
Published: (2025)

Spectral Fingerprints of Algebraic Cycles: A Hodge-Theoretic Approach to the Hodge Conjecture and Special L-Values
by: Hajebi, Bita, et al.
Published: (2025)

A Complete and Rigorous Proof of the Hodge Conjecture
by: Letsikas, Christopher, et al.
Published: (2025)

Unlocking the Hodge Conjecture: A Spectral Fingerprint Approach via Gauss-Manin Derivatives
by: Hajebi, Bita, et al.
Published: (2025)

On the Log Hodge Theory of Toroidal Varieties and a Partial Proof of the Absolute Hodge Conjecture
by: Luo, Jiaming
Published: (2025)

Proof of the Hodge Conjecture within the Unified Metabolic Causal Field
by: Zhu, Jianbing
Published: (2026)

Proof of the Hodge Conjecture within the Unified Metabolic Causal Field
by: Zhu, Jianbing
Published: (2026)

The Hodge Conjecture as Treewidth Surjection
by: Ross, Logan
Published: (2026)

Spectral Analysis of Hodge Cycles: A Novel Approach to the Hodge Conjecture via Generalized Moments
by: Hajebi, Bita, et al.
Published: (2025)

Spectral Rigidity and Algebraicity: A Unified Framework for the Hodge Conjecture
by: Hajebi, Bita, et al.
Published: (2025)

A Spectral Proof of the Riemann Hypothesis Formalized in Lean
by: Ednyashev, Sanal, et al.
Published: (2025)

A Spectral Proof of the Riemann Hypothesis Formalized in Lean
by: Ednyashev, Sanal, et al.
Published: (2025)

The Rigidity of Constraint: A Spencer-Hodge Theoretic Approach to the Hodge Conjecture
by: Zheng, Dongzhe
Published: (2025)

Hodge Conjecture via Singular Varieties
by: Dan, Ananyo, et al.
Published: (2025)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
by: Xin, Yutong, et al.
Published: (2026)

Six Convergent Photoreceptor Pathways: A Computational-Mechanistic Framework for Vision Enhancement in Presbyopia and Early Retinal Degeneration
by: Al-Zawahreh, Mohamad
Published: (2025)

Cross-Channel Vertex Corrections in Multi-Boson Superconductors: A Coupling-Level Bridge Mechanism for High-Temperature Superconductivity
by: Al-Zawahreh, Mohamad
Published: (2026)

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
by: Onda, Naoto, et al.
Published: (2025)

Constructive Proof of the Hodge Conjecture for K3 Surfaces via Nodal Degenerations
by: Mounda, Badre
Published: (2025)

The Viriato Protocol: Isomorphic Stabilization of Artificial General Intelligence via Reduced Gyrokinetics
by: Al-Zawahreh, Mohamad
Published: (2025)

A Formal Proof of the Irrationality of $ζ(3)$ in Lean 4
by: Liu, Junqi, et al.
Published: (2025)

The Dirac-Dolbeault Operator Approach to the Hodge Conjecture
by: Farinelli, Simone
Published: (2021)

Hodge-theoretic variants of the Hopf and Singer Conjectures
by: Arapura, Donu, et al.
Published: (2023)

Unified Classical Proof of the Beal, ABC, and Hodge Conjectures via the URCL Synchopeshing Operator
by: Garrido, Daphne
Published: (2026)

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
by: Fujimoto, Nobuki, et al.
Published: (2026)

Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4
by: Linhares, Alexandre
Published: (2026)

A Conditional Reduction of the Rational Hodge Conjecture for Threefolds and Deformation-Theoretic Verifications in Several Families
by: Mansour, Karim
Published: (2025)

Resolution of the Hodge Conjecture via the Sexagesimal Harmony Algorithm
by: López Miranda, Jorge Alexander
Published: (2026)

SSN and the Hodge Conjecture – Project 1: Millennium Problems
by: Nowak, Eliasz Przemysław
Published: (2025)

https://github.com/comp-cogneuro-lang/EARSHOT
by: Peng
Published: (2026)

Restricted Hodge Conjecture as a Consequence of the Entropic Barrier for NP
by: Ednyashev, Sanal
Published: (2025)

The Intersection Cohomology of a Fan and the Hodge Conjecture for Toric Varieties
by: Jahangir, Rizwan
Published: (2025)

Formalizing CHSH Rigidity in Lean 4
by: Zhao, Tianrun, et al.
Published: (2026)

github.com/shbrief/4_purecn_purecn
by: Sehyun Oh
Published: (2019)

github.com/shbrief/4_purecn_purecn
by: Sehyun Oh
Published: (2019)

Lean4Lean: Verifying a Typechecker for Lean, in Lean
by: Carneiro, Mario
Published: (2024)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
by: Nakamura, Yuki
Published: (2026)

Automated Conjecture Resolution with Formal Verification
by: Ju, Haocheng, et al.
Published: (2026)

McMullen's Curve, the Weil Locus, and the Hodge Conjecture for Abelian Sixfolds
by: Mostaed, Amir
Published: (2026)