Практическое построение окружности возможно с помощью циркуля. Окру́жность — замкнутая плоская кривая, все точки которой равноудалены от заданной точки, лежащей в той же плоскости, что и кривая: эта точка называется центром окружности. Отрезок, соединяющий центр с какой-либо точкой окружности, называется радиусом; радиусом называется также и длина этого отрезка. Окружность разбивает плоскость на две части — конечную внутреннюю и бесконечную внешнюю. Внутренность окружности называется кругом; граничные точки, в зависимости от подхода, круг может включать или не включать.
Тор (тороид) — поверхность вращения, получаемая вращением образующей окружности вокруг оси, лежащей в плоскости этой окружности и не пересекающей её.
Идеал — одно из основных понятий общей алгебры. Наибольшее значение идеалы имеют в теории колец, но также определяются и для полугрупп, алгебр и некоторых других алгебраических структур. Название «идеал» ведёт своё происхождение от «идеальных чисел», которые были введены в 1847 году немецким математиком Э. Э. Куммером. Простейшим примером идеала может служить подкольцо чётных чисел в кольце целых чисел. Идеалы дают удобный язык для обобщения результатов теории чисел на общие кольца.
Те́нзор — применяемый в математике и физике математический объект линейной алгебры, заданный на векторном пространстве конечной размерности. В физике в качестве векторного пространства обычно выступает физическое трёхмерное пространство или четырёхмерное пространство-время, а компонентами тензора являются координаты (проекции) взаимосвязанных физических величин. Использование тензоров в физике позволяет глубже понять физические законы и уравнения, упростить их запись за счёт сведения многих связанных физических величин в один тензор, а также записывать уравнения в форме, не зависящей от выбранной системы отсчёта.
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами и функциональными символами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Критической точкой дифференцируемой функции 
называется точка, в которой её дифференциал обращается в нуль. Это условие эквивалентно тому, что в данной точке все частные производные первого порядка обращаются в нуль, геометрически оно означает, что касательная гиперплоскость к графику функции горизонтальна. В простейшем случае n=1 это значит, что производная 
в данной точке равна нулю. Это условие является необходимым для того, чтобы внутренняя точка области могла быть точкой локального минимума или максимума дифференцируемой функции.
Ориента́ция — обобщение и формализация понятий направления обхода и направления на прямой на более сложные геометрические объекты, многообразия, векторные расслоения и так далее.
Z-преобразованием называют свёртывание исходного сигнала, заданного последовательностью вещественных чисел во временно́й области, в аналитическую функцию комплексной частоты. Если сигнал представляет импульсную характеристику линейной системы, то коэффициенты Z-преобразования показывают отклик системы на комплексные экспоненты 
, то есть на гармонические осцилляции с различными частотами и скоростями нарастания/затухания.
Крива́я Пеа́но — общее название для параметрических кривых, образ которых содержит квадрат. Другое название — заполняющая пространство кривая.
Коды Боуза — Чоудхури — Хоквингема, сокращённо БЧХ-коды — в теории кодирования это широкий класс циклических кодов, применяемых для защиты информации от ошибок. Отличается возможностью построения кода с заранее определёнными корректирующими свойствами, а именно, минимальным кодовым расстоянием. Частным случаем БЧХ-кодов является код Рида — Соломона.
Алгоритм Флойда — Уоршелла — динамический алгоритм для нахождения кратчайших расстояний между всеми вершинами взвешенного ориентированного графа. Разработан в 1962 году Робертом Флойдом и Стивеном Уоршеллом. При этом алгоритм впервые разработал и опубликовал Бернард Рой в 1959 году.
Стационарность — свойство процесса не менять свои характеристики со временем. Имеет смысл в нескольких разделах науки.
Поризм Понселе — классическая теорема проективной геометрии. Назван в честь Жан-Виктора Понселе.
Теорема Рамсея — теорема комбинаторики о разбиениях множеств, сформулированная и доказанная английским математиком Фрэнком Рамсеем в 1930 году. Встречается в литературе в разных формулировках. Эта теорема положила начало теории Рамсея.
Цепь Паппа Александри́йского — кольцо внутри двух касающихся кругов, заполненных попарно касающимися кругами меньших диаметров. Исследована Паппом Александрийским в III веке н. э.
Инверсное расстояние — это способ измерения «расстояния» между двумя окружностями независимо от того, пересекаются ли эти окружности, касаются ли, или вообще не имеют общих точек.
