  We consider Guth's approach to the Fourier restriction problem via polynomial
partitioning. By writing out his induction argument as a recursive algorithm
and introducing new geometric information, known as the polynomial Wolff
axioms, we obtain improved bounds for the restriction conjecture, particularly
in high dimensions. Consequences for the Kakeya conjecture are also considered.
