Area of intrinsic graphs in homogeneous groups

We establish an area formula for the spherical measure of intrinsic graphs of any codimension in homogeneous groups. Our approach relies on the assumption that the map defining the intrinsic graph is continuously intrinsically differentiable. The main novelty is a notion of Jacobian defined using an auxiliary scalar product.