総合幾何学
Wolfram言語は解析幾何学を幅広くサポートするだけでなく，自動推論に適した形式の座標非依存の総合幾何学的シーンの記号表現もサポートする．
GeometricScene — 制約条件で定義された幾何学的シーンの記号表現
RandomInstance — 幾何学的シーンのランダムな例を求めて表示する
GeometricSolveValues — 幾何学的シーンの値について解く
GeometricTest — 幾何学的シーン外の幾何学的アサーションの条件を取得する
FindGeometricConjectures — 幾何学的シーンについての推測を求める
GeometricScene — 有名な定理と構造を表す実体
幾何学的シーンにおけるアサーション
GeometricAssertion — 幾何学的な特性や関係（凸，平行，合同等）をアサートする
Equal ( ) — 幾何学的オブジェクトの等価性または数量をアサートする
Element ( ∈ )，RegionMember — ある点が幾何学的領域内にあるとアサートする
UnconstrainedParameters — シーン中に制約なしの点または数量を定義するオプション
GeometricStep — 幾何学的シーンの構築において仮説をステップにグループ化する
基本的な幾何学的オブジェクト
Line — 記号的に指定された点を通る直線
HalfLine，InfiniteLine — 2点を通る半直線と直線
Triangle，Polygon — 角で定義された三角形と多角形
RegularPolygon — 中心等で定義された 
辺の正多角形
三角形関数
TriangleCenter — 三角形の垂心，外心，内心等
TriangleConstruct — 三角形の内接円，外接円，垂線等
TriangleMeasurement — 三角形の外接円の半径，高さ等
幾何学的構造で作成されたオブジェクト
CircleThrough — 指定の点を通る円
Midpoint — 線分の中点
PerpendicularBisector — 線分の中点における無限垂線
AngleBisector — 角を二等分する直線
RegionCentroid — 任意の領域の質量重心
RegionBoundary — 任意の領域の境界
RegionNearest — 指定の点に最も近い，領域内の点
幾何学的オブジェクトの計測
EuclideanDistance — 2点間のユークリッド(Euclidean)距離
PlanarAngle — 3点で定義された平面角
PolygonAngle — 多角形の頂点の角度
Area — 幾何学的領域の面積
Perimeter — 幾何学的領域の周長
ArcLength — 円等の弧長
RegionMeasure — 1D測度，2D等における領域の
RegionDistance — ある点からある幾何学的領域までの最短距離
SignedRegionDistance — 内外の点の符号付き距離