Polymath's combinatorial proof of the density Hales-Jewett theorem
暂无分享,去创建一个
[1] H. Towsner. A Model Theoretic Proof of Szemerédi's Theorem , 2010, 1002.4456.
[2] W. T. Gowers,et al. A new proof of Szemerédi's theorem , 2001 .
[3] H. Furstenberg,et al. A density version of the Hales-Jewett theorem , 1991 .
[4] John Harrison,et al. Formalizing an Analytic Proof of the Prime Number Theorem , 2009, Journal of Automated Reasoning.
[5] E. Sperner. Ein Satz über Untermengen einer endlichen Menge , 1928 .
[6] W. T. Gowers. Polymath and The Density Hales-Jewett Theorem , 2010 .
[7] Noga Alon,et al. The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.
[8] John Harrison,et al. A formalized proof of Dirichlet's theorem on primes in arithmetic progression , 2010, J. Formaliz. Reason..
[9] Jeremy Avigad,et al. A formally verified proof of the prime number theorem , 2005, TOCL.
[10] Introduction To The Polymath Project and “Density Hales-Jewett and Moser Numbers” , 2010 .
[11] Thomas C. Hales,et al. Jordan ’ s Proof of the Jordan Curve Theorem , 2007 .
[12] Terence Tao. A Quantitative Ergodic Theory Proof of Szemerédi's Theorem , 2006, Electron. J. Comb..
[13] H. Furstenberg. Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions , 1977 .
[14] Thomas C. Hales,et al. The Jordan Curve Theorem, Formally and Informally , 2007, Am. Math. Mon..
[15] W. T. Gowers,et al. A NEW PROOF OF SZEMER ´ EDI'S THEOREM , 2001 .
[16] E. Szemerédi. On sets of integers containing k elements in arithmetic progression , 1975 .
[17] A. Hales,et al. Regularity and Positional Games , 1963 .
[18] D. Polymath,et al. A new proof of the density Hales-Jewett theorem , 2009, 0910.3926.
[19] Y. Katznelson,et al. A density version of the Hales-Jewett theorem for k=3 , 1989, Discret. Math..