Систе́ма счисле́ния — символический метод записи чисел, представление чисел с помощью письменных знаков.

Четырёхугольник — это геометрическая фигура (многоугольник), состоящая из четырёх точек (вершин), никакие три из которых не лежат на одной прямой, и четырёх отрезков (сторон), последовательно соединяющих эти точки. Различают выпуклые и невыпуклые четырёхугольники, невыпуклый четырёхугольник может быть самопересекающимся. Четырёхугольник без самопересечений называется простым, часто под термином «четырёхугольник» имеются в виду только простые четырёхугольники.
Мо́щность, или кардина́льное число́, мно́жества — характеристика множеств, обобщающая понятие количества (числа) элементов конечного множества.
Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре.

В математике барице́нтр, или геометри́ческий центр, двумерной фигуры — это среднее арифметическое положений всех точек данной фигуры. Определение распространяется на любой объект в n-мерном пространстве. Радиус-вектор барицентра в трёхмерном случае вычисляется как
,

Интегра́л Ри́мана — наиболее широко используемый вид определённого интеграла. Очень часто под термином «определённый интеграл» понимается именно интеграл Римана, и он изучается самым первым из всех определённых интегралов во всех курсах математического анализа. Введён Бернхардом Риманом в 1854 году, и является одной из первых формализаций понятия интеграла.
Отре́зком называются два близких понятия: в геометрии и математическом анализе.
Кривы́е Безье́ или Кривы́е Бернште́йна — Безье́ — типы кривых, предложенные в 60-х годах XX века независимо друг от друга Пьером Безье из автомобилестроительной компании «Рено» и Полем де Кастельжо из компании «Ситроен», где применялись для проектирования кузовов автомобилей.
Зада́ча Коши́ — одна из основных задач теории дифференциальных уравнений ; состоит в нахождении решения (интеграла) дифференциального уравнения, удовлетворяющего так называемым начальным условиям.

Теорема о промежуточном значении утверждает, что если непрерывная функция, определённая на вещественном промежутке, принимает два значения, то она принимает и любое значение между ними.

Дихотоми́я — раздвоенность, последовательное деление на две части, более связанные внутри, чем между собой.
Паралле́льный перено́с, иногда трансляция ― частный случай движения, при котором все точки пространства перемещаются в одном и том же направлении на одно и то же расстояние.
Метод опорных векторов — набор схожих алгоритмов обучения с учителем, использующихся для задач классификации и регрессионного анализа. Принадлежит семейству линейных классификаторов и может также рассматриваться как частный случай регуляризации по Тихонову. Особым свойством метода опорных векторов является непрерывное уменьшение эмпирической ошибки классификации и увеличение зазора, поэтому метод также известен как метод классификатора с максимальным зазором.
Метод золотого сечения — метод поиска экстремума действительной функции одной переменной на заданном отрезке. В основе метода лежит принцип деления отрезка в пропорциях золотого сечения. Является одним из простейших вычислительных методов решения задач оптимизации. Впервые представлен Джеком Кифером в 1953 году.
Интеграл Дарбу — один из способов обобщения интеграла Римана на любые ограниченные на отрезке функции. Различают верхний и нижний интеграл Дарбу. Интегралы Дарбу геометрически представляют собой верхнюю и нижнюю площадь под графиком.
Теорема Семереди — Троттера — результат комбинаторной геометрии. Теорема утверждает, что если даны n точек и m прямых на плоскости, число инциденций равно

Локальная лемма Ловаса — лемма теории вероятностей. Если некоторое количество событий не зависит друг от друга и вероятность каждого меньше 1, то вероятность того, что ни одно из событий не произойдет, положительна. Локальная лемма Ловаса позволяет ослабить условие независимости: пока события «не сильно зависимы» друг от друга и не слишком вероятны по отдельности, вероятность того, что ни одно из них не произойдет, положительна. Этот результат чаще всего используется в вероятностном методе, в частности для доказательства существования.