A Leibniz-képlet az integrálszámításban az integrál előjele alatti differenciálás szabálya a paramétertől függően, amelynek határai a differenciációs változótól függenek. A képlet nevét Gottfried Leibniz német matematikusról kapta .
Legyen a függvény folytonos az első deriváltjával együtt a téglalapon (a szegmens az értékkészleteket tartalmazza , a függvények pedig differenciálhatók ). Ekkor az integrál differenciálható az on és az egyenlőség tekintetében