Вывод типов — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
Зако́н Гу́ка — утверждение, согласно которому деформация, возникающая в упругом теле, пропорциональна приложенной к этому телу силе. Открыт в 1660 году английским учёным Робертом Гуком.
Эффект Шубникова — де Хааза назван в честь советского физика Л. В. Шубникова и нидерландского физика В. де Хааза, открывших его в 1930 году. Наблюдаемый эффект заключался в осцилляциях магнетосопротивления плёнок висмута при низких температурах. Позже эффект Шубникова — де Гааза наблюдали в многих других металлах и полупроводниках. Эффект Шубникова — де Гааза используется для определения тензора эффективной массы и формы поверхности Ферми в металлах и полупроводниках.
Модулярная функция — мероморфная функция, определённая на верхней комплексной полуплоскости, являющаяся инвариантной относительно превращений модулярной группы или некоторой её подгруппы и удовлетворяющая условиям голоморфности в параболических точках. Модулярные функции и обобщающие их модулярные формы широко используются в теории чисел, а также в алгебраической топологии и теории струн.
T-симме́три́я — симметрия уравнений, описывающих законы физики, по отношению к операции замены времени t на −t. В квантовой механике математически записывается, как равенство нулю коммутатора оператора Гамильтона и антиунитарного оператора обращения времени
Ле́мма Шу́ра — утверждение, являющееся одним из основных при построении теории представлений групп.
Эллиптические функции Вейерштрасса — одни из самых простых эллиптических функций. Этот класс функций назван в честь Карла Вейерштрасса. Также их называют 
-функциями Вейерштрасса, и используют для их обозначения символ .
Эми́ттанс — численная характеристика ускоренного пучка заряженных частиц, равная объёму фазового пространства, занимаемого этим пучком. На величину эмиттанса, таким образом, влияют как размер пучка в пространстве координат, так и разброс его частиц по скоростям. Эмиттанс является важной характеристикой пучков, получаемых на ускорителях частиц, поскольку во многом определяет эффективность дальнейшего использования пучка.
Уравнение Рариты — Швингера — дифференциальное уравнение, описывающее частицы со спином 3/2. Оно было получено Раритой и Швингером в 1941 году.
Просто типизированное лямбда-исчисление — система типизированного лямбда-исчисления, в которой лямбда-абстракции приписывается специальный «стрелочный» тип. Эта система была предложена Алонзо Чёрчем в 1940 году. Для близкого к лямбда-исчислению формализма комбинаторной логики похожая система рассматривалась Хаскеллом Карри в 1934 году.
Формула Фейнмана — Каца — математическая формула, устанавливающая связь между дифференциальными уравнениями с частными производными и случайными процессами. Названа в честь физика Ричарда Фейнмана и математика Марка Каца.
Разрывный метод Галёркина — метод решения операторных уравнений, в основном дифференциальных уравнений. Является развитием классического метода конечных элементов (МКЭ), основанного на вариационной постановке Галёркина.
Квантовополевая теория возмущений в статистической физике — метод исследования взаимодействующих систем в статистической физике основанный на приёмах, первоначально развитых для нужд физики элементарных частиц. Теория возмущений (ТВ) основана на пошаговом учёте возмущения, которое считается малым. На нулевом шаге это возмущение вовсе исключается, что соответствует идеализированной свободной системе. На следующем шаге учитывается уже линейная по возмущению поправка к нулевому приближению, на втором шаге — квадратичная поправка и так далее. Конечно же, таким способом нельзя учесть вклад всех порядков в вычисляемую величину. Обычно ограничиваются несколькими первыми членами разложения и получают хорошее согласие с экспериментальными данными. Для уточнения вычислений необходимо учитывать следующие члены разложения. Очень успешно ТВ применяется в методе интегралов по траекториям
Уравне́ние Шви́нгера — Томона́ги, в квантовой теории поля, основное уравнение движения, обобщающее уравнение Шрёдингера на релятивистский случай.
Напряженно-деформированное состояние — совокупность напряжений и деформаций, возникающих при действии на материальное тело внешних нагрузок, температурных полей и других факторов.
Соответствие Галуа — теоретико-порядковое соотношение между двумя математическими структурами, более слабое, чем изоморфизм, обобщающее связь из теории Галуа между подполями расширения и упорядоченной по включению системой подгрупп соответствующей ему группы Галуа. Понятие может быть распространено на любые структуры, наделённые отношением предпорядка.
В математике теория момента остановки или марковский момент времени связана с проблемой выбора времени, чтобы принять определённое действие, для того чтобы максимизировать ожидаемое вознаграждение или минимизировать ожидаемые затраты. Проблема момента остановки может быть найдена в области статистики, экономики и финансовой математики. Самым ярким примером, относящимся к моменту остановки, является Задача о разборчивой невесте. Проблема момента остановки часто может быть указана в форме уравнения Беллмана и поэтому часто решается с помощью динамического программирования.
Характеристические классы — это далеко идущее обобщение таких количественных понятий элементарной геометрии, как степень плоской алгебраической кривой или сумма индексов особых точек векторного поля на поверхности. Более подробно они описаны в соответствующей статье. Теория Черна — Вейля позволяет представлять некоторые характеристические классы как выражения от кривизны.
Потенциал Сазерленда — простая модель парного взаимодействия неполярных молекул, описывающая зависимость энергии взаимодействия двух частиц от расстояния 
между ними. Эта модель относительно реалистично передаёт свойства реального взаимодействия сферических неполярных молекул и поэтому широко используется в расчётах и при компьютерном моделировании. Впервые этот вид потенциала был предложен Уильямом Сазерлендом в 1893 году.
