Professor of Mathematics
Research Interests: Analysis, combinatorics
Publications
A Fully Automatic Theorem Prover with Human-Style Output
– Journal of Automated Reasoning
(2016)
58,
253
(doi: 10.1007/s10817-016-9377-1)
The communication complexity of interleaved group products
– STOC'15: PROCEEDINGS OF THE 2015 ACM SYMPOSIUM ON THEORY OF COMPUTING
(2015)
351
(doi: 10.1145/2746539.2746560)
On the KŁR conjecture in random graphs
– Israel Journal of Mathematics
(2015)
203,
535
(doi: 10.1007/s11856-014-1120-1)
On the KŁR conjecture in random graphs
– Israel Journal of Mathematics
(2014)
203,
535
(doi: 10.1007/s11856-014-1120-1)
Linear forms and quadratic uniformity for functions on ℤ N
– Journal d'Analyse Mathématique
(2011)
115,
121
(doi: 10.1007/s11854-011-0026-7)
Linear forms and quadratic uniformity for functions on $\Bbb F^n_p$
– Mathematika. A Journal of Pure and Applied Mathematics
(2011)
57,
215
(doi: 10.1112/s0025579311001264)
Linear Forms and Higher-Degree Uniformity for Functions On ${\mathbb{F}^{n}_{p}}$
– Geometric and Functional Analysis
(2011)
21,
36
(doi: 10.1007/s00039-010-0106-3)
The Princeton companion to mathematics
(2010)
1
Decompositions, approximate structure, transference, and the Hahn–Banach theorem
– Bulletin of the London Mathematical Society
(2010)
42,
573
(doi: 10.1112/blms/bdq018)
- <
- 4 of 10