La fórmula de Leibniz en cálculo integral es la regla de diferenciación bajo el signo de la integral , según el parámetro, cuyos límites dependen de la variable de diferenciación. La fórmula lleva el nombre del matemático alemán Gottfried Leibniz .
Sea la función continua junto con su primera derivada en el rectángulo (el segmento incluye los conjuntos de valores y las funciones son derivables en ). Entonces la integral es derivable con respecto a on y la igualdad