ترميز لايبنتز للتفاضل
ترميز لايبنتز للتفاضل هي قاعدة رياضية في حساب التفاضل والتكامل  سميت تيمنا بغوتفريد لايبنتز، والتي تقول أن كل تكامل على شاكلة:
formula_1
حيث أن  formula_2 مشتقته  بالشكل التالي:
formula_3
حيث آن المشتق الجزئي يدل على أن ما داخل التكامل يمكن الأخذ به عندما يكون المتغير "f"("x", "t") "x" يعتبر في اتخاذ مشتق. لاحظ أنه إذا formula_4 و formula_5 هي الثوابت بدلا من وظائف من formula_6
ان قاعدة لايبنتز للأبعاد الثنائية هي:
formula_7
يمكن تمديد قانون ليبنيز ليشمل تكاملات في أبعاد متعددة. تسمى في حالة البعدين والثلاثة بمجال ديناميات السوائل كما في نظرية رينولدز للنقل:
formula_8