Wolfram 语言不仅对分析几何提供广泛的支持，还支持综合几何场景的符号表示，其形式适用于自动坐标无关的推理以及自动可视化.

GeometricScene — 由约束定义的几何场景的符号表示

RandomInstance — 查找并显示几何场景的随机实例

GeometricSolveValues — 求解几何场景中的值

GeometricTest — 获取几何场景之外的几何断言的条件

FindGeometricConjectures — 查找关于几何场景的猜测

GeometricScene — 表示著名理论和构造的实体

几何场景中的断言

GeometricAssertion — 断言几何属性或关系（凸、平行、全等 ...）

Equal (  ) — 断言几何对象或量的相等性

Element ( ∈ ), RegionMember — 断言点在几何区域内

UnconstrainedParameters — 定义场景中未约束点或量的选项

GeometricStep — 构建几何场景步骤的群假设

基本几何对象

Line — 通过符号指定点的直线

HalfLine, InfiniteLine — 通过成对点的半无限和双无限线段

Triangle, Polygon — 由角定义的三角形、多边形

Circle, Disk — 由中心和半径定义的圆、圆盘

RegularPolygon — 由中心等定义的具有 边的正则多边形

三角函数

TriangleCenter — 三角形的垂心、外心、内心 ...

TriangleConstruct — 三角形的内圆、外圆、高 ...

TriangleMeasurement — 三角形的外半径、高 ...

由几何结构创建的对象

CircleThrough — 通过指定点的圆

Midpoint — 线的中点

PerpendicularBisector — 在线的中点的无限垂直

AngleBisector — 无限线平分一个角度

RegionCentroid — 任何区域的形心

RegionBoundary — 任何区域的边界

RegionNearest — 最接近给定点的区域中的点

几何对象上的度量

EuclideanDistance — 点间的欧几里得距离

PlanarAngle — 由三个点定义的平面角

PolygonAngle — 多边形的顶点角

Area — 几何区域的面积

Perimeter — 几何区域的周长

ArcLength — 圆等的弧长

RegionMeasure — 一维、二维等区域的度量

RegionDistance — 点到几何区域的最短距离

SignedRegionDistance — 点 外/内 的距离 正/负