Эффе́кт Ко́мптона — упругое рассеяние фотона заряженной частицей, обычно электроном, названное в честь первооткрывателя Артура Холли Комптона. Если рассеяние приводит к уменьшению энергии, поскольку часть энергии фотона передаётся отражающемуся электрону, что соответствует увеличению длины волны фотона, то этот процесс называется эффектом Комптона. Обратное комптоновское рассеяние происходит, когда заряженная частица передаёт фотону часть своей энергии, что соответствует уменьшению длины волны кванта света.
Га́мма-распределе́ние в теории вероятностей — это двухпараметрическое семейство абсолютно непрерывных распределений. Если параметр 
принимает целое значение, то такое гамма-распределение также называется распределе́нием Эрла́нга.
KHAZAD — в криптографии симметричный блочный шифр, разработанный двумя криптографами: бельгийцем Винсентом Рэйменом и бразильцем Пауло Баррето. В алгоритме используются блоки данных размером 64 бита и ключи размером 128 бит. KHAZAD был представлен на европейском конкурсе криптографических примитивов NESSIE в 2000 году, где в модифицированной (tweaked) форме стал одним из алгоритмов-финалистов.
SQUARE — в криптографии симметричный блочный криптоалгоритм, разработанный в 1997 году Винсентом Рэйменом, Йоаном Дайменом и Ларсом Кнудсеном.
Биметрические теория гравитации — альтернативные теории гравитации, в которых вместо одного метрического тензора используются два или более. Часто вторая метрика вводится только при высоких энергиях, в предположении, что скорость света может зависеть от энергии. Наиболее известными примерами биметрических теорий являются теория Розена и релятивистская теория гравитации.
Число Коссовича — критерий подобия, в теории сушки, которое даёт зависимость между количествами теплоты, затраченной на испарение жидкости и на нагревание влажного тела. Оно определяется следующим образом:
Сле́дствие — используемое в философии и логике в учении о суждениях, заключениях и доказательствах понятие, означающее следствие, вывод в отношении к причине — антецеденту.
Уравне́ние Ланда́у — Ли́фшица — уравнение, описывающее движение намагниченности в приближении континуальной модели в твердых телах. Впервые введено Л. Д. Ландау и Е. М. Лифшицем в 1935 году.
Теория Эйнштейна — Картана (ЭК) была разработана как расширение общей теории относительности, внутренне включающее в себя описание воздействия на пространство-время кроме энергии-импульса также и спина материальных полей. В теории ЭК вводится аффинное кручение, а вместо псевдоримановой геометрии для пространства-времени используется геометрия Римана — Картана. В результате от метрической теории переходят к аффинной теории пространства-времени. Результирующие уравнения для описания пространства-времени распадаются на два класса. Один из них аналогичен общей теории относительности, с тем отличием, что в тензор кривизны включены компоненты с аффинным кручением. Второй класс уравнений задаёт связь тензора кручения и тензора спина материи и излучения. Получаемые поправки к общей теории относительности в условиях современной Вселенной настолько малы, что пока не видно даже гипотетических путей для их измерения.
Фо́рмула Кле́йна — Ниси́ны — формула, описывающая древовидную часть полного сечения комптоновского рассеяния света на электроне. Установлена Оскаром Клейном и Ёсио Нисиной в 1928 году.
Просто типизированное лямбда-исчисление — система типизированного лямбда-исчисления, в которой лямбда-абстракции приписывается специальный «стрелочный» тип. Эта система была предложена Алонзо Чёрчем в 1940 году. Для близкого к лямбда-исчислению формализма комбинаторной логики похожая система рассматривалась Хаскеллом Карри в 1934 году.
Устранимость сечений — свойство логических исчислений, согласно которому всякую секвенцию, выводимую в данном исчислении, можно вывести без применения правила сечений. Играет фундаментальную роль в теории доказательств и важную методологическую роль в математической логике в целом в связи с тем, что предоставляет конструктивный метод доказательства непротиворечивости, в частности, для классической и интуиционистской логик первого порядка.
Исчисление секвенций — вариант логических исчислений, использующий для доказательства утверждений не произвольные цепочки тавтологий, а последовательности условных суждений — секвенций. Наиболее известные исчисления секвенций — 
и 
для классического и интуиционистского исчислений предикатов — построены Генценом в 1934 году, позднее сформулированы секвенциальные варианты для широкого класса прикладных исчислений, теорий типов, неклассических логик.
Исчисление Ламбека — формальная логическая система, предложенная в 1958 году Иоахимом Ламбеком, которая предназначена для описания синтаксиса естественных языков. С математической точки зрения исчисление Ламбека является фрагментом линейной логики.
Диполя́рная, или дипо́льная, систе́ма координа́т — трёхмерная криволинейная ортогональная система координат, основанная на точечном (центральном) диполе, точнее, на его инвариантах преобразования координат.
Специальная теория относительности (СТО) описывает пространство-время в виде псевдориманова многообразия с одним отрицательным собственным значением метрического тензора, которое соответствует «временноподобному» направлению. Метрика с несколькими отрицательными собственными значениями будет соответственно подразумевать наличие нескольких временных направлений, то есть время будет многомерным, но в настоящее время нет консенсуса насчёт связи этих дополнительных «времён» с временем в обычном понимании.
Линейная логика — подструктурная логика, предложенная Жан-Ивом Жираром как уточнение классической и интуиционистской логики, объединяющая двойственность первой со многими конструктивными свойствами последней, введена и используется для логических рассуждений, учитывающих расход некоторого ресурса. Хотя логика также изучалась сама по себе, идеи линейной логики находят применения во множестве приложений, вычисления в которых требуют учёта ресурсов, в том числе для верификации сетевых протоколов, языки программирования, теория игр и квантовая физика, лингвистика.
