En 1872, presentó una notable clasificación de la geometría, el "programa de Erlangen", que puso fin a la escisión entre geometría pura y geometría analítica.