Leibniz, Isaac Newton'dan bagimsiz olarak Sonsuz Küçükler Hesabi'ni gelistirdi ve Leibniz'in formülü yayinlandigindan bu yana genis bir çapta kullanildi. Gelistirdigi türdesligin askinsal yasasi ve süreklilik yasasi 20. yüzyilda matematiksel karsilik buldu (standart disi analiz araciligiyla). Mekanik hesaplayicilar alaninda en üretken insanlardan biri oldu. Pascal'in hesaplayicisina otomatik çarpma ve bölme fonksiyonlarini eklemeye çalisirken, 1685'te çarkli hesaplayiciyi ilk tanimlayan ins