In the foreword of Tom Wolff's "Lectures on Harmonic Analysis", C. Fefferman writes "[Wolff made] (as far as I know) the first serious application of theoretical computer science to analysis." What does this refer to?

I'm aware that there are connections between combinatorics and Kakeya (Bourgain, Tao, and Laba all have surveys on this topic). However, I'm not sure which of these one would classify as an application of CS.
– Mark LewkoFeb 22 '10 at 0:32

3

I know very little about the specific applications, but the survey mentions specific incidence problems in combinatorial geometry - this is a classical part of TCS (specifically in the area of computational geometry, where such combinatorial estimates are used to bound the running times of various algorithms)
– Suresh VenkatFeb 22 '10 at 2:20