Key points are not available for this paper at this time.
Abstract We provide a semi-constructive criterion for ellipticity of the differential operator on the Heisenberg group H¹. H 1.
Dmitriy Zanin (Mon,) studied this question.