Exploring Diagonal Ramsey
Let's dive into the details surrounding Diagonal Ramsey.
- This video introduces the nice result of Ma-Shen-Xie's improved lower bound on the off-
- We improve the upper bound for
- ITP 2025 session 12 (1 October 2025) Formalising New Mathematics in Isabelle:
- ... episode are: Ramsey numbers (especially "
- In this second video of Week 9, we prove
In-Depth Information on Diagonal Ramsey
This is yet another lecture (shorter!) on my formalisation of that 2023 paper on an exponential improvement for Keep exploring at ▻ https://brilliant.org/TreforBazett. Get started for free for 30 days — and the first 200 people get 20% off an ... Abstract: In this talk I will discuss some of the ideas behind the recent improvement to the upper bounds on the https://en.wikipedia.org/wiki/
... The Properties of Self-Complementary Graphs and New Lower Bounds for
That wraps up our extensive overview of Diagonal Ramsey.
