Keywords:
sums of squares of vector fields
hypoellipticity
a priori estimates
pseudodifferential operators
1) Lower bounds for pseudodifferential operators.
2) C^\infty Ipoellipticity for elliptic degenerate operators.
3) C^\infty and analytic Ipoellipticity for sums of squares of real
and complex vector fields.