Leibnizo formulė (Lebnico fòrmulė), dviejų funkcijų sandaugos bet kurios išvestinės išraiška: . Gaunama (u + v)n skleidžiant pagal Newtono binomo formulę ir gautame daugianaryje visus laipsnius keičiant atitinkamomis išvestinėmis.
Leibnizo formulę 1695 įrodė G. W. Leibnizas.