Теоре́мой Ха́на — Ба́наха называют несколько связанных между собой классических результатов функционального анализа, в частности
- Теорему о продолжении линейного функционала с сохранением мажоранты;
- Теорему о разделении выпуклых множеств;
- Теорему о непрерывном или положительном продолжении линейного функционала.
Теоремы Шеннона для канала с шумами связывают пропускную способность канала передачи информации и существование кода, который возможно использовать для передачи информации по каналу с ошибкой, стремящейся к нулю.
Норма — функционал, заданный на векторном пространстве и обобщающий понятие длины вектора или абсолютного значения числа.
Целая функция — функция, регулярная во всей комплексной плоскости. Типичным примером целой функции может служить многочлен или экспонента, а также суммы, произведения и суперпозиции этих функций. Ряд Тейлора целой функции сходится во всей плоскости комплексного переменного. Логарифм, квадратный корень не являются целыми функциями.
Теорема Стокса — одна из основных теорем дифференциальной геометрии и математического анализа об интегрировании дифференциальных форм, которая обобщает несколько теорем анализа. Названа в честь Дж. Г. Стокса.
Алгоритм Адлемана — первый субэкспоненциальный алгоритм дискретного логарифмирования в кольце вычетов по модулю простого числа. Алгоритм был предложен Леонардом Максом Адлеманом в 1979 году. Леонард Макс Адлеман — американский учёный-теоретик в области компьютерных наук, профессор компьютерных наук и молекулярной биологии в Университете Южной Калифорнии. Он известен как соавтор системы шифрования RSA и ДНК-вычислений. RSA широко используется в приложениях компьютерной безопасности, включая протокол HTTPS.
Метод БВЕ — метод быстрого суммирования специального вида рядов. Построен в 1990 году Е. А. Карацубой. Позволяет вычислять быстро зигелевские E-функции, и в частности,
.
Тест Аграва́ла — Кая́ла — Саксе́ны — единственный известный на данный момент универсальный полиномиальный, детерминированный и безусловный тест простоты чисел, основанный на обобщении малой теоремы Ферма на многочлены.

k-d-дерево — это структура данных с разбиением пространства для упорядочивания точек в k-мерном пространстве. k-d-деревья используются для некоторых приложений, таких как поиск в многомерном пространстве ключей. k-d-деревья — особый вид двоичных деревьев поиска.
Преобразование Меллина — преобразование, которое можно рассматривать как мультипликативную версию двустороннего преобразования Лапласа. Это интегральное преобразование тесно связано с теорией рядов Дирихле и часто используется в теории чисел и в теории асимптотических разложений. Преобразование Меллина тесно связано с преобразованием Лапласа и преобразованием Фурье, а также теорией гамма-функций и теорией смежных специальных функций.
Метод Стронгина — метод решения одномерных задач условной липшицевой оптимизации. Позволяет находить глобально оптимальное решение в задачах с ограничениями неравенствами при условии, что целевая функция задачи и левые части неравенств удовлетворяют условию Липшица в области поиска.
Оккамово обучение в теории вычислительного обучения является моделью алгоритмического обучения, где целью обучения является получение сжатого представления имеющихся тренировочных данных. Метод тесно связан с почти корректным обучением, где учитель оценивает прогнозирующую способность тестового набора.
Множество больших тригонометрических сумм — понятие теории чисел — множество индексов, в которых преобразование Фурье характеристической функции заданного подмножества группы принимает достаточно большие значения.