Succinct Rabung certificates and recurrence-closed lower bounds for van der Waerden numbers

Contributed by Brice Pouly

Source files