Leibniz, Isaac Newtondan bağımsız olarak Sonsuz Küçükler Hesabını geliştirdi ve Leibnizin formülü yayınlandığından bu yana geniş bir çapta kullanıldı. Geliştirdiği türdeşliğin aşkınsal yasası ve süreklilik yasası 20. yüzyılda matematiksel karşılık buldu (standart dışı analiz aracılığıyla). Mekanik hesaplayıcılar alanında en üretken insanlardan biri oldu. Pascalın hesaplayıcısına otomatik çarpma ve bölme fonksiyonlarını eklemeye çalışırken, 1685te çarklı hesaplayıcıyı ilk tanımlayan insan oldu ve aritmometre