Skip to content
#

grobner-bases

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 Julia 1 Lean 1 Sage 1 Macaulay2 1

tretoef-estrella / chaise-longue-theorem

Star 0

Proof of Degtyarev–Shimada Conjecture 1.2 for the Fermat varieties of every degree in every even dimension, algebraic core verified in Lean 4; integral Hodge conjecture for prime degree, degree 4, degree prime to (n+1)!. Paper (DOI), Lean project, logs, cold readings, 222 standalone theorems — directed by a non-mathematician, built with Claude.

computer-algebra proof mathematics combinatorics algebraic-geometry torsion zenodo singular claude commutative-algebra lattices macaulay2 grobner-bases human-ai-collaboration hodge-conjecture ai-assisted-research algebraic-cycles fermat-varieties integral-hodge-conjecture degtyarev-shimada
  • Updated Oct 4, 2026
  • Lean

Add this topic to your repo

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

Learn more