As an introduction to research, I did a bibliography work with a toy implementation on Ramsey theory. I first report is here. A second one is focused on van der Waerden's theorem.
You can also look at this slides slides for a small introduction.
Published 2017-07-01
As an introduction to research, I did a bibliography work with a toy implementation on Ramsey theory. I first report is here. A second one is focused on van der Waerden's theorem.
You can also look at this slides slides for a small introduction.