共 50 条
- [4] Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL Journal of Automated Reasoning, 2023, 67
- [8] Factorization in generalized arithmetic progressions and application to the Erdős-Szemerédi sum-product problems Geometric & Functional Analysis GAFA, 2003, 13 : 720 - 736
- [9] AN ELEMENTARY PROOF OF THE PRIME-NUMBER THEOREM FOR ARITHMETIC PROGRESSIONS CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1950, 2 (01): : 66 - 78