Ол бірінші болып дифференциялдық геометрияда дифференциялдық өзгермейтін өрнек (инвариант өрнек) теориясын енгізген, бұл эвклидтік емес геометрия мен дифференциялдық геометрияның дамуына үлкен әсері болған.