We introduce the notion of submanifolds with boundary with intrinsic regularity in the setting of sub-Riemannian Heisenberg groups. We present a Stokes' Theorem for such submanifolds involving the integration of Heisenberg differential foms introduced by Rumin. This is a joint work with M. Di Marco, A. Julia and S. Nicolussi Golo.
Heisenberg group; manifolds with boundary; Stokes theorem; Rumins form
53C17 ; 26B20 ; 53C65 ; 58C35