Folytonos függvényekkel foglalkozott valamint prímszámokkal. 1588-ban megtalálta a 6. és a 7. Mersenne-prímeket. Csak 184 évvel később Euler találta meg a 8.-at 1772-ben. Megkísérelte bebizonyítani, hogy Euklides 5. posztulátuma következik az előző posztulátumokból. Az első modern matematikus, aki egy teljes munkát szentel a párhuzamosok elméletének. Az egyenlőközű és a nem-egyenlőközű egyenesek koncepciójából indul, de az egyenlőközű egyenesek létezésének bizonyításához felhasználja a következő hipotézist: az egyenesek, melyek nem egyenlőközűek, az egyik irányban közelednek, a másikban pedig távolodnak.