BOJ 10803 — Making Squares: A Verified Recurrence Bound
Archived technical note: BOJ 10803 — Making Squares: A Verified Recurrence Bound.
Tag
Geometry
9 articles.
2022-05-31
BOJ. Square (7626)
Archived technical note: BOJ. Square (7626).
BOJ. Line Group (2162)
Archived technical note: BOJ. Line Group (2162).
BOJ. Crossing Lines 3 (20149)
Archived technical note: BOJ. Crossing Lines 3 (20149).
BOJ 1069 - Going Home
Archived technical note: BOJ 1069 - Going Home.
BOJ. Two Circles (7869)
Archived technical note: BOJ. Two Circles (7869).
BOJ. Crossing Lines (17386)
Archived technical note: BOJ. Crossing Lines (17386).
BOJ. Crossing Lines 2 (17387)
Archived technical note: BOJ. Crossing Lines 2 (17387).
BOJ. CCW (11758)
Archived technical note: BOJ. CCW (11758).