erdos-ant-verification: An Executable Verification Artifact for the Sawin et al. Lower Bound on the Erdős Unit-Distance Exponent

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Flamehaven Labs
Format:	Recurso digital
Veröffentlicht:	Zenodo 2026
Schlagworte:	erdos-unit-distance algebraic-number-theory golod-shafarevich class-field-tower discrete-geometry combinatorics reproducibility executable-verification mathematical-verification mpmath openai-research sawin-construction
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online