Ideó incontables demostraciones en el terreno de la geometría no euclidiana, Trigonometría esférica, Cálculo integral y teoría de los números reales.