Аналитическая геометрия пространственных кривых, заданных параметрическими уравнениями, неразрывно связана с дифференциальным исчислением и понятием локального базиса. В отличие от глобальной декартовой системы координат, оси которой неподвижны, локальный репер Френе-Серре «путешествует» в пространстве вместе с точкой по самой кривой, непрерывно адаптируясь к ее изгибам и закручиваниям. Эта подвижная система координат, состоящая из трех взаимно перпендикулярных ортов (касательного, нормали и бинормали), позволяет физикам и инженерам строго алгебраически описывать кинематику движения американских горок, спиралей ДНК и траектории полета баллистических ракет.

Проективная геометрия изучает свойства фигур, которые остаются неизменными при центральном проецировании (например, при отбрасывании тени от точечного источника света или получении фотографии на матрице камеры). В отличие от классической аффинной или евклидовой геометрии, проективные преобразования не сохраняют ни длин отрезков, ни величин углов, ни даже параллельности прямых линий (параллельные рельсы на фотографии сходятся в точку на горизонте). Однако в этом хаосе оптических искажений существует один уникальный алгебраический инвариант, который остается абсолютно незыблемым. Этот инвариант называется двойственным (или сложным) отношением четырех точек, и его понимание является ключом к алгоритмам компьютерного зрения и 3D-реконструкции.

Когда аналитическая геометрия переходит от изучения прямых линий и плоскостей к исследованию криволинейных объектов (эллипсов, гиперболоидов, конусов), линейные уравнения сменяются полиномами второй степени. Алгебраическим сердцем всех таких уравнений является теория квадратичных форм. Квадратичная форма — это однородный многочлен второй степени от нескольких переменных, который можно элегантно записать в виде матричного умножения вектора-строки, квадратной матрицы и вектора-столбца. Изучение свойств квадратичных форм и порождающих их билинейных отображений позволяет математикам мгновенно классифицировать поверхности, находить их оси симметрии и анализировать кривизну топологических пространств, не прибегая к графическим построениям.