benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / The points (0,0),(1,2),(2,1),(2,2) in the plane are colored red while the points (1,0),(2,0),(0,1),(0,2) are colored blue. Four segments are drawn such that each one connects a red… · Discussion

Discussing The points (0,0),(1,2),(2,1),(2,2) in the plane are colored red while the points (1,0),(2,0),(0,1),(0,2) are colored blue. Four segments are drawn such that each one connects a red… · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.