Entrato a diciotto anni nella Compagnia di Gesù, fu avviato allo studio della geometria. Nel 1697 pubblicò un notevole trattato di logica e nel 1708 un trattato di statica. Nel 1733, l'anno della sua morte, uscì l'opera di maggiore importanza per la storia dei fondamenti della geometria: Euclides ab omni naevo vindicatus. Fu sicuramente il maggior matematico italiano della prima metà del Settecento.