ENDRE, a Maple package that studies finite analogs of Szemeredi’s theorem about arithmetic progressions. It accompanies Paul Raff and Doron Zeilberger’s article (Posted July 13, 2009). Finite Analogs of Szemerédi’s Theorem. One of the ”deepest” theorems in mathematics is Endre Szemerédi’s theorem about the inevitability of arithmetical progressions. Here we try to nibble at it, by doing ”finite” analogs. This is already interesting for its own sake, but we believe that it has the potential to lead to extermely interesting sharpening of the currently rather weak bounds. Let’s hope!
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.