Inom algebran förknippas han med invariantteorin (se James Joseph Sylvester) och är känd för att ha introducerat matriser och den abstrakta gruppdefinitionen. Inom geometrin var han den förste att systematiskt och formellt betrakta flerdimensionella rum, samt att unifiera projektiv och elliptisk geometri och presentera den euklidiska geometrin som ett specialfall