Malliavin introduced his analysis of functionals on the [Wiener space ][1] to obtain a probabilistic proof of the Hoermander theorem.


  [1]: http://en.wikipedia.org/wiki/Abstract_Wiener_space