OPEN COMPUTATIONAL GEOMETRY · V1 RELEASE CANDIDATE
A living map of
what fits.
Verified constructions, best-known records, and unsolved regions—mapped across triangle shape and container geometry.
THE SIGNATURE VIEW
Where patterns change.
Move through shape space. Each cell names the dominant observed construction and its evidence level—not a universal claim of optimality.
FAMILY EXPLORER
Three starting territories.
Right
Exact rectangular pairings supply the Atlas’s known-optimum controls.
PROVEN CONTROLSEquilateral
Periodic interiors expose the finite boundary-loss problem most clearly.
VERIFIED SLICESIsosceles
Right-isosceles controls anchor a much larger, mostly open shape family.
CONTROL + OPENVERIFIED RECORDS
Inspect the evidence.
PATTERN COMPARISON
Same question, different structure.
Compare records by verified utilization, optimality gap, and where unused area accumulates.
OPEN-PROBLEM BROWSER
The blank parts are the point.
Every open region is an invitation: reproduce a baseline, improve a record, or tighten a bound.
RECORD LEADERBOARD
Strong results, traceable people.
Rankings use independently verified density. Reproducibility and attribution travel with every coordinate set.
COMMUNITY PIPELINE
Bring coordinates,
not screenshots.
- 01 Submit JSON
- 02 Verify geometry
- 03 Compare record
- 04 Review evidence
- 05 Publish
Submissions are checked for schema validity, overlaps, boundary violations, duplicate fingerprints, and whether they improve the current record. Proofs and citations always require human review.
Contribute on GitHub ↗RESEARCH EXPANSION · MILESTONE 9
From atlas to open endeavor.
Finite rectangles
Right, equilateral, and isosceles slices with reproducible records.
Scalene space
Normalized two-angle phase maps and verified solver baselines.
Bounds & literature
Rigorous upper bounds, citation ingestion, and finite/asymptotic comparison.
Distributed studies
Versioned challenge sets for classrooms, researchers, and solver fleets.
LITERATURE REGISTRY
Related work, scoped precisely.
Primary sources are classified by their exact relationship to the Atlas. Context and methods never become numerical claims by implication.
V1 GATE · 1.0.0-RC.1
Verified in two languages.
Honest about what remains.
The v1 candidate includes 304 records, independent JavaScript and Python verification, solver tournaments, proof certificates, literature scope, community acceptance tests, and complete archival metadata.
- Release status
- loading…