Вывод типов — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
Формула Гаусса — Бонне связывает эйлерову характеристику поверхности с её гауссовой кривизной и геодезической кривизной её границы.
Риманов тензор кривизны представляет собой стандартный способ выражения кривизны римановых многообразий, а в общем случае — произвольных многообразий аффинной связности, без кручения или с кручением.
Кривизна́ — собирательное название ряда характеристик, описывающих отклонение того или иного геометрического «объекта» от соответствующих «плоских» объектов.

Логнорма́льное распределе́ние (логарифмически-нормальное) в теории вероятностей — это двухпараметрическое семейство абсолютно непрерывных распределений. Если случайная величина имеет логнормальное распределение, то её логарифм имеет нормальное распределение.
Параболические координаты — ортогональная система координат на плоскости, в которой координатные линии являются конфокальными параболами. Трёхмерный вариант этой системы координат получается при вращении парабол вокруг их оси симметрии.
Вселе́нная Фри́дмана — одна из космологических моделей, удовлетворяющих полевым уравнениям общей теории относительности (ОТО), первая из нестационарных моделей Вселенной. Получена Александром Фридманом в 1922. Модель Фридмана описывает однородную изотропную в общем случае нестационарную Вселенную с веществом, обладающую положительной, нулевой или отрицательной постоянной кривизной. Эта работа учёного стала первым основным теоретическим развитием ОТО после работ Эйнштейна 1915—1917 гг.

KHAZAD — в криптографии симметричный блочный шифр, разработанный двумя криптографами: бельгийцем Винсентом Рэйменом и бразильцем Пауло Баррето. В алгоритме используются блоки данных размером 64 бита и ключи размером 128 бит. KHAZAD был представлен на европейском конкурсе криптографических примитивов NESSIE в 2000 году, где в модифицированной (tweaked) форме стал одним из алгоритмов-финалистов.
SQUARE — в криптографии симметричный блочный криптоалгоритм, разработанный в 1997 году Винсентом Рэйменом, Йоаном Дайменом и Ларсом Кнудсеном.

Биметрические теория гравитации — альтернативные теории гравитации, в которых вместо одного метрического тензора используются два или более. Часто вторая метрика вводится только при высоких энергиях, в предположении, что скорость света может зависеть от энергии. Наиболее известными примерами биметрических теорий являются теория Розена и релятивистская теория гравитации.
Дифференциальная геометрия поверхностей — исторически важная область дифференциальной геометрии.
В байесовской статистике априорная вероятность Джеффри, по имени Гарольда Джеффри — неинформативная (объективная) априорная вероятность в пространстве параметра, пропорциональная квадратному корню из детерминанта информации Фишера:

Четвёртая проблема Гильберта в списке проблем Гильберта касается базовой системы аксиом геометрии. Проблема состоит в том, чтобы
«Определить все с точностью до изоморфизма реализации систем аксиом классических геометрий, если в них опустить аксиомы конгруэнтности, содержащие понятия угла, и пополнить эти системы аксиомой неравенства треугольника».
Уравнение Рариты — Швингера — дифференциальное уравнение, описывающее частицы со спином 3/2. Оно было получено Раритой и Швингером в 1941 году.

Фу́нкция дели́телей — арифметическая функция, связанная с делителями целого числа. Функция известна также под именем фу́нкция диви́зоров. Применяется, в частности, при исследовании связи дзета-функции Римана и рядов Эйзенштейна для модулярных форм. Изучалась Рамануджаном, который вывел ряд важных равенств в модульной арифметике и арифметических тождествах.

Фердинанд Йоахимсталь — немецкий математик.

Вариация поворота кривой — интеграл кривизны кривой по её длине.
В теории сложности вычислений классом NC называют множество задач разрешимости, разрешимых за полилогарифмическое время на параллельном компьютере с полиномиальным числом процессоров. Другими словами, задача принадлежит классу NC, если существуют константы n и c такие, что она может быть решена за время
при использовании
параллельных процессоров. Стивен Кук назвал его «Классом Ника» в честь Ника Пиппенжера, который провел обширные исследования схем с полилогарифмической глубиной и полиномиальным размером.

Профиль Фойгта или распределение Фойгта представляет собой распределение вероятностей, полученное путём свёртки распределения Коши — Лоренца и распределения Гаусса. Он часто используется при анализе данных спектроскопии или дифракции.