Ta leiutas Newtonist sõltumatult diferentsiaal- ja integraalarvutuse. Ta töötas välja loogilise arvutuse, mis hiljem pani aluse moodsate arvutite arhitektuurile. Leibniz võttis kasutusele mitu matemaatikasümbolit: korrutamis- ja jagamispunktid, integraali ja diferentsiaali märgid.