El sistema de Leibniz fue publicado en 1684, el de Newton en 1687, y el método de notación ideado por Leibniz fue adoptado universalmente. En 1672 también inventó una máquina de calcular capaz de multiplicar, dividir y extraer raíces cuadradas. Es considerado un pionero en el desarrollo de la lógica matemática y uno de los precursores de los ordenadores.