En su libro "Geometria del Compasso" (Pavía, 1797), probó que cualquier construcción geométrica que pueda ser hecha con regla y compás, puede ser hecha únicamente con compás, aunque el primero en dar ese resultado (hoy conocido como Teorema de Mohr-Mascheroni) fue el danés Georg Mohr, quién publicó una prueba en 1672.