We establish an area formula for computing the spherical measure of an
intrinsic graph of any codimension in an arbitrary homogeneous group. Our
approach only assumes that the map generating the intrinsic graph is
continuously intrinsically differentiable. The important novelty lies in the
notion of Jacobian, which is built by the auxiliary Euclidean distance. The
introduction of this Jacobian allows the spherical factor to appear in the area
formula and enables explicit computations.Comment: 46 page