OP-00493 Solution claimed Pansu's isoperimetric conjecture in the Heisenberg group DG · AIM Open Applied Problems · Heisenberg group · isoperimetric inequalities · sub-Riemannian geometry