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
Guardado en:
Detalles Bibliográficos
Autor principal: Al-Zawahreh, Mohamad
Formato: Recurso digital
Publicado: Zenodo 2026
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!