Il est l'auteur d'importants travaux en mécanique céleste, en géodésie, sur le magnétisme, l'électromagnétisme et l'optique. Sa conception moderne de la nature abstraite des mathématiques lui permit d'étendre le champ de la théorie des nombres. Il fut le premier à proposer une géométrie non euclidienne hyperbolique.