Leibnizova rovnice v integrálním počtu je pravidlem diferenciace pod znaménkem integrálu v závislosti na parametru, jehož meze závisí na diferenciační proměnné. Vzorec je pojmenován po německém matematikovi Gottfriedu Leibnizovi .
Nechť je funkce spojitá spolu s její první derivací na obdélníku (segment obsahuje množiny hodnot a funkce jsou diferencovatelné na ). Pak je integrál diferencovatelný vzhledem k on a rovnosti