Proves R(B_8, B_10) = 37 via an AI-assisted short proof with a Lean formalization of the upper bound.
Small Ramsey Numbers for Books, Wheels, and Generalizations
2 Pith papers cite this work, alongside 2 external citations. Polarity classification is still indexing.
2
Pith papers citing it
2
external citations · Crossref
fields
math.CO 2years
2026 2representative citing papers
A subdifferential framework certifies conformal rigidity via orbit-isometric embeddings, reducing the problem for vertex-transitive graphs to a single-eigenvector check and in general to linear feasibility or Gröbner bases.
citing papers explorer
-
An automated proof that R(B_8,B_10)=37
Proves R(B_8, B_10) = 37 via an AI-assisted short proof with a Lean formalization of the upper bound.
-
Conformal Rigidity of Graphs: Subdifferentials and Orbit-Isometries
A subdifferential framework certifies conformal rigidity via orbit-isometric embeddings, reducing the problem for vertex-transitive graphs to a single-eigenvector check and in general to linear feasibility or Gröbner bases.