Professor of Mathematics
Research Interests: Analysis, combinatorics
Publications
A graphical user interface framework for formal verification
– 12TH INTERNATIONAL CONFERENCE ON INTERACTIVE THEOREM PROVING, ITP 2021
(2021)
193,
4:1
(doi: 10.4230/LIPIcs.ITP.2021.4)
A note on extensions of multilinear maps defined on multilinear varieties
– Proceedings of the Edinburgh Mathematical Society
(2021)
64,
148
(doi: 10.1017/s0013091521000055)
The length of an s -increasing sequence of r -tuples
– Combinatorics Probability Computing
(2021)
30,
686
(doi: 10.1017/s0963548320000371)
PARTIAL ASSOCIATIVITY AND ROUGH APPROXIMATE GROUPS
– Geometric and Functional Analysis
(2020)
30,
1583
(doi: 10.1007/s00039-020-00553-1)
A bilinear version of Bogolyubov’s theorem
– Proceedings of the American Mathematical Society
(2020)
148,
4695
(doi: 10.1090/proc/15129)
A uniform set with fewer than expected arithmetic progressions of length 4
– Acta Mathematica Hungarica
(2020)
161,
756
(doi: 10.1007/s10474-020-01072-z)
Improved bounds for the Erdős-Rogers function
– Advances in Combinatorics
(2020)
3,
1
(doi: 10.19086/aic.12048)
- <
- 2 of 10