Го́тфрид Ви́льгельм Ле́йбниц — немецкий философ, логик, математик, механик, физик, юрист, историк, дипломат, изобретатель и языковед. Основатель и первый президент Берлинской Академии наук, член Лондонского королевского общества (1673), иностранный член Французской Академии наук.
Математи́ческий ана́лиз — совокупность разделов математики, соответствующих историческому разделу под наименованием «анализ бесконечно малых», объединяет дифференциальное и интегральное исчисления.
Паради́гма :
Произво́дная — производящая, образующая другую более сложную составную величину категории.
Произво́дная функции — понятие дифференциального исчисления, характеризующее скорость изменения функции в данной точке. Определяется как предел отношения приращения функции к приращению её аргумента при стремлении приращения аргумента к нулю, если такой предел существует. Функцию, имеющую конечную производную, называют дифференцируемой.
Формула конечных приращений, или теорема Лагра́нжа о среднем значении, утверждает, что если функция 
.Дифференциальными кольцами, полями и алгебрами называются кольца, поля и алгебры, снабжённые дифференцированием — унарной операцией, удовлетворяющей правилу произведения. Естественный пример дифференциального поля — поле рациональных функций одной комплексной переменной 
Производная — фундаментальное математическое понятие, используемое в различных вариациях (обобщениях) во многих разделах математики. Это базовая конструкция дифференциального исчисления, допускающая много вариантов обобщений, применяемых в математическом анализе, дифференциальной топологии и геометрии, алгебре.
А́лгебра Ли — объект общей алгебры, являющийся векторным пространством с определенной на ней антикоммутативной билинейной операцией, удовлетворяющей тождеству Якоби. В общем случае алгебра Ли является неассоциативной алгеброй. Названа по имени норвежского математика Софуса Ли (1842—1899).
Абсолютная непрерывность — свойство функций и мер, состоящее, неформально говоря, в выполнении теоремы Ньютона — Лейбница о связи между интегрированием и дифференцированием. Обычно эта теорема формулируется в терминах интеграла Римана и включает в свои условия интегрируемость производной по Риману. При переходе к более общему интегралу Лебега естественное требование существования измеримой производной почти всюду становится слишком слабым, и для выполнения соотношения, аналогичного теореме Ньютона — Лейбница, необходимо более тонкое условие, которое и называется абсолютной непрерывностью. Это понятие переносится на меры с помощью производной Радона — Никодима.
Под термином дифференцирование могут подразумевать различные научные понятия:
В этой статье рассматривается математический базис общей теории относительности.
Правило произведения, или тождество Лейбница, — характерное свойство дифференциальных операторов.
Формула Ньютона — Лейбница, или основная формула анализа, или формула Барроу даёт соотношение между двумя операциями: взятием интеграла Римана и вычислением первообразной.
Существует несколько математических и другого рода объектов, названных в честь Лейбница:
Формула Лейбница для 
Анализ бесконечно малых — историческое название математического анализа, раздела высшей математики, изучающего пределы, производные, интегралы и бесконечные ряды, и составляющего важную часть современного математического образования. Состоит из двух основных частей: дифференциального исчисления и интегрального исчисления, которые связаны между собой формулой Ньютона — Лейбница.
Спор Ньютона и Лейбница о приоритете — спор о приоритете открытия дифференциального и интегрального исчисления между Исааком Ньютоном (1642—1727) и Готфридом Вильгельмом Лейбницем (1646—1716). Свою версию теории Ньютон создал ещё в 1665—1666 годах, однако не публиковал её до 1704 года. Независимо от него Лейбниц разработал свой вариант дифференциального исчисления, хотя первоначальный толчок, вероятно, его мысль получила из слухов о том, что такое исчисление у Ньютона уже имеется, а также благодаря научным беседам в Англии и переписке с Ньютоном. В отличие от Ньютона, Лейбниц сразу опубликовал свою версию и в дальнейшем, вместе с Якобом и Иоганном Бернулли, широко пропагандировал это открытие по всей Европе. Большинство учёных на континенте не сомневались, что анализ открыл Лейбниц. Когда Ньютон решил опубликовать свои труды на эту тему, возник вопрос о приоритете совершённого открытия. Ожесточённый спор не завершился со смертью Лейбница и продолжался усилиями сторонников основных участников, прекратившись только со смертью Ньютона.
Нотация Лейбница — система математических обозначений, разработанная Лейбницем для анализа бесконечно малых и широко используемая в математическом анализе. Основные символы — 
Формула Лейбница — выражение для определителя квадратной матрицы 
