hodge

Here are 2 public repositories matching this topic...

Alektronnik / Quantum4Lean

Verified quantum computing in Lean 4 with FFI bridge to Apple Silicon (Metal 3). Full NISQ stack, dependent types, formal circuit verification, and mathematical translators to Hamiltonians for autonomous AI.

quantum-computing riemann formal-verification autonomous-agents qaoa vqe metal-framework apple-silicon lean4 hodge tijdeman

Updated Jul 4, 2026
Lean

farukalpay / HODGE

Star

Convergence-theoretic reformulation of the Hodge Conjecture for K3 surfaces, with flow-based projection methods, numerical experiments, and symbolic generalizations to abelian varieties and Calabi–Yau threefolds.

mathematics algebraic-geometry symbolic-math mathematical-physics k3-surfaces cohomology math-research numerical-experiments sage-math calabi-yau hodge hodge-conjecture abelian-varieties hodge-theory gauss-manin millennium-problem theorem-verification convergence-theory

Updated Apr 22, 2025

Add this topic to your repo

To associate your repository with the hodge topic, visit your repo's landing page and select "manage topics."

Learn more