Skip to content
#

theorem-verification

Star

Here is 1 public repository matching this topic...

farukalpay / HODGE

Star 1

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

Improve this page

Add a description, image, and links to the theorem-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more