Resources for 'Avoiding short progressions in Euclidean Ramsey theory'
Back Home
- These are companion resources for
the named paper
by G. Currier, K. Moore, and C. H. Yip -
Below are the codes required to verify our proofs.
Description
Link
C++ Code for checking Theorem 1.1, and the parallelogram results
Code
C++ Code for checking Theorem 1.2
Code
C++ Code for checking the first part of Lemma 4.1
Code
𝔼
n
↛ (
ℓ
3
,
ℓ
20
):
