En aritmética modular, desarrolló la ley de reciprocidad cuadrática ("Ensayo sobre la teoría de los números" (1798)), conjeturada por Euler y posteriormente demostrada por Gauss.