Algorithm for subelliptic estimates

This paper describes an algorithm for obtaining subelliptic estimates on pseudoconvex complex manifolds and CR manifolds. It includes a brief account of the microlocal analysis that is involved. The technique is illustrated on three-dimensional CR manifolds defined by triangular systems constructed to test the effectiveness of previous algorithms. The method introduced here is a “deconstruction” of the earlier technique; the estimates for forms are obtained by piecing together estimates for microlocalized components of the forms.