Entre 1820 y 1823 preparó un tratado sobre un sistema completo de geometría no euclideana.