This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians.

A result of Fiz Pontiveros shows that if $A$ is a random subset of $\mathbb{Z}_N$ where each element is chosen independently with probability $N^{-1/2+o(1)}$, then with high probability every Freiman homomorphism defined ...

The U 2 norm gives a useful measure of quasirandomness for realor complex-valued functions defined on finite (or, more generally, locally compact) groups. A simple Fourier-analytic argument yields an inverse theorem, which ...

This thesis is chiefly concerned with a classical conjecture of Littlewood's regarding the L^1-norm of the Fourier transform, and the closely related idempotent theorem. The vast majority of the results regarding these ...