1973年，剑桥。博士生伊恩·布雷德（Ian Braid）在查尔斯·兰格（Charles Lang）指导下开发名为 BUILD 的程序。当时的核心工程问题清晰而深刻：计算机如何不仅辨识物体的线框轮廓，更能准确计算其内部体积、质量特性和封闭实体边界？一年后的1974年，兰格、布雷德、艾伦·格雷尔和彼得·维恩曼将这一理论研究转化为实体企业——Shape Data。1978年问世的 Romulus，成为工业史上最早的商用实体建模几何内核之一。[1]
半个世纪后的今天，这一基础问题依然运转在工程师的工作站上。无论是在 SolidWorks 中拉伸支架，在 Onshape 浏览器中旋转大型装配体，还是在 FreeCAD 中调整草图约束，屏幕图形界面底层运行的代码，正是当年剑桥突破的直系演进成果。
参数化CAD是一种计算机辅助工程设计范式：几何形体不由固定的静态坐标决定，而是由命名变量、代数公式和几何约束网络共同驱动；当任一参数数值发生变动，模型便沿着依赖关系链全自动重新计算。这代表了一种严谨的工程思维方式，而非单一工具。在 SolidWorks 中它表现为顺序特征树，在 SolveSpace 中表现为联立方程组，在 Grasshopper 中表现为数据流图，在 FreeCAD 中则表现为 Python 自动化工作台。
贯穿本评测的核心结论是：相同的计算引擎，截然不同的使用契约。 在2026年的工业环境中，我们从几何内核、授权机制、采购成本和实际场景四个维度全面横评六款主流工具。然而在深入对比前，工程师必须准确厘清“参数化建模”与“底层几何内核”的界限。
本技术指南隶属于我们的系统性专栏 3D CAD软件与机械设计指南。土耳其语读者亦可参阅原始架构长文 3D CAD Programları ve Mekanik Tasarım Rehberi。
核心速览： FreeCAD 确保零授权成本与开放格式；SolveSpace 为单件机构提供纯粹的高性能约束求解；Fusion 为敏捷团队打通 CAD、CAM 与电路全流程；SOLIDWORKS 稳居复杂装配与供应链基准；Rhino + Grasshopper 领跑算法曲面造型；Onshape 则在云端实时协同中展现卓越效率。
参数化CAD的本质特征
参数化CAD将尺寸数值与装配关系存储为规则矩阵，当规则参数改变时，系统便重新解算实体边界。在传统的二维绘图里，线段长度只是图纸上的静态距离；而在参数化体系中，该数值是一个动态数学变量，受制于周边轮廓的逻辑约束。
在工程实践中，主要存在三种互补的参数化技术路线：
- 基于历史的建模（history-based）： 模型按时间顺序构建为特征执行树。草图、拉伸、切除、倒角和阵列依次串联；修改上游特征会触发下游所有几何体的顺序再生。Fusion 和 SolidWorks 是此类路线的典型代表。
- 基于约束的建模（constraint-based）： 几何体完全由距离、角度、共线和平行等代数联立方程定义。求解器直接计算满足所有几何条件的坐标状态。SolveSpace 便是完全围绕此类代数求解器构建的典范。
- NURBS 与可视化图形流： 曲线和曲面由非均匀有理B样条（NURBS）精确描述；Grasshopper 等节点环境通过逻辑连接动态操纵几何形体。Rhino 是该领域的全球标杆。
此外还有直接建模（direct modeling）作为补充。它无需回溯漫长的特征历史树，直接推拉或偏移实体面。虽然直接建模本身不属于纯参数化，但现代平台普遍将直接编辑与参数化底层深度融合。决定一款软件是否属于参数化CAD的关键，在于其依赖关系管理层与约束机制，而非仅仅看底层内核的名称。
几何内核：图形界面下的计算基石
几何内核是负责在CAD程序中计算实体与曲面拓扑的底层核心算法库。它管理边界表示法（B-Rep）拓扑——包含顶点、边、面及其相互连接关系——以及底层的解析曲面和 NURBS 样条片。交互界面、特征管理树和文件存盘等功能，都是架构在内核之上的外围组件。
工程师必须理解几何内核与几何约束求解器（Constraint Solver）的区别。内核解决的是拓扑问题：实体相交边界如何裁剪、曲面连续性级别以及体积惯性矩；求解器解决的是关系方程：两线段是否保持平行、圆弧是否保持相切。在 SOLIDWORKS 中，Parasolid 负责几何实体生成，而 D-Cubed 负责尺寸求解；在 Fusion 中，ShapeManager 与草图求解器同样分工明确。
至2026年，全球CAD工业界主要由五大家族几何内核所主导：
| 几何内核 | 所有者 | 拓扑架构与特性 | 代表性软件应用 | 授权机制 |
|---|---|---|---|---|
| Parasolid | 西门子数字工业（Siemens） | B-Rep、融合建模、XT传输数据标准 | SolidWorks, Onshape, NX, Solid Edge, Shapr3D | 商业 OEM 授权 |
| ACIS | Spatial（达索系统旗下） | B-Rep、直接与特征混合建模、SAT格式 | BricsCAD, IronCAD, 专业工程软件包 | 商业 OEM 授权 |
| ShapeManager | Autodesk | 2001年自分支 ACIS 7.0 独立演进的实体B-Rep内核 | Autodesk Fusion, Autodesk Inventor | 企业内部专有 |
| Open CASCADE (OCCT) | Open Cascade（凯捷旗下） | B-Rep、STEP/IGES接口、开源C++架构平台 | FreeCAD, SALOME, CAD Exchanger | LGPL 2.1 附例外条款 |
| openNURBS | Robert McNeel & Associates | 精确NURBS几何算法库、.3dm原生数据文件标准 | Rhinoceros 3D, Grasshopper | 开源工具包；Rhino应用端商业闭源 |
西门子官方披露的数据表明，Parasolid 内置超过900项高级建模算法，为全球逾200家独立软件开发商所采用，通过 Parasolid XT 数据管道保障350余款商业软件间的无缝协同。[2] 截至2026年中期，版本39.0成为工业界部署的基准。[3] 这些行业指标确凿表明，商业内核实质上构成了整个现代机械制造的技术协议基石。
ACIS 由 Spatial 维护逾三十年，支撑着全球超过350款工程软件和300万席以上的装机量。[5] 欧特克于2001年11月从 ACIS 7.0 复制代码分支，命名为 ShapeManager，并在2002年2月发布的 Inventor 5.3 中首次亮相。[6] 欧特克技术文献明确记录：Fusion 在处理三维实体生成时，均直接调用 Autodesk Shape Manager (ASM) 核心算法。[7]
Open CASCADE Technology 为开源工业界提供了功能完整的实体计算与 STEP 数据交换底层。2026年发布的8.0.1版遵循附带开发者例外的 LGPL 2.1 许可。[8] FreeCAD 的实体建模能力完全立足于 OCCT。[21] 相反，Rhinoceros 则采用 McNeel 自研的高精度数学曲面库，并结合 openNURBS 开源项目，支持行业在无版税障碍下存取 .3dm 数据。[14][20]
数据一览：2026年六款主流CAD工具横向评估
下表汇集截至2026年11月14日经由各软件开发商官方公报、采购报价单及独立测试验证的硬核技术参数。价格均为标准商业单席年费或永久许可定价，不含各地增值税或教育补贴。
| 软件名称 | 当前版本 | 授权模式 | 几何内核 | 平台支持 | 价格区间 | 适配工程场景 |
|---|---|---|---|---|---|---|
| Autodesk Fusion | 2706.1.17（2026年10月）[17] | 商业年费订阅；提供受限个人免费版 | Autodesk ShapeManager (ASM)[7] | Windows, macOS, 浏览器 | 按年订阅 + 扩展模块 | 敏捷硬件团队，需贯通 CAD、CAM、CAE 及 PCB 设计 |
| SOLIDWORKS | SOLIDWORKS 2026（2025年11月）[18] | 商业专有授权（代理商渠道报价） | Siemens Parasolid[4][3] | Windows 专用 | 一单一议 | 大型机械制造、超大装配体工程及成熟工业供应链协作 |
| Rhino 9 + Grasshopper | Rhino 9（现行零售版）[14] | 永久独立授权（无强制订阅） | NURBS / openNURBS[20] | Windows, macOS | 商业版995美元一次性；学生版195美元[14] | 工业设计、建筑形态生成、船舶水动力外壳及自由曲面 |
| FreeCAD | 1.0 稳定版；26.3 RC2（2026年10月）[9][10] | LGPL-2.1-or-later[11] | Open CASCADE (OCCT)[21] | Windows, macOS, Linux | 0元完全免费 | 零预算需求、数据主权要求极高以及需要深入 Python 自动化的单位 |
| SolveSpace | 3.3（2026年10月）[13] | GPLv3[13] | 自研代数约束求解器；NURBS布尔运算[12] | Windows, Linux, macOS | 0元完全免费 | 单件精密零件设计、连杆机构动态仿真及约束教学 |
| Onshape | 持续云端交付（约每3周自动化更新）[16] | 纯云端专有 SaaS | Siemens Parasolid[2][3] | 全功能网页浏览器, iOS, Android | Free 0美元；Standard 1500美元；Professional 2500美元/席/年[16] | 异地分布研发团队，要求原生内置云端版本控制（PDM）与多人协同 |
路线一：特征树机制与两份分歧的软件契约
基于历史记录的建模方法将模型记录为一串严格按时序排列的特征列表，每一步操作都以其上游几何状态作为输入。Fusion 与 SOLIDWORKS 是该领域的工业代表。尽管二者的人机交互逻辑存在相似性，其运算心脏却截然不同：Fusion 由 Autodesk ShapeManager 驱动，而 SOLIDWORKS 依托 Parasolid。即使同样采用 Parasolid 内核的工具——例如 SOLIDWORKS 与 Onshape——二者也无法直接双向互通带有完整可编辑特征历史的工程图档。内核的一致绝不代表文件结构的通用。
Autodesk Fusion：一站式融合四大学科
Autodesk Fusion 是一款集机械 CAD、加工 CAM、工程 CAE 和电路 PCB 设计于一体的云协同工程套件。2026年10月末发布的 2706.1.17 构架代表了其当下的最新技术规格。[17] Fusion 的三维形体计算由 Autodesk ShapeManager (ASM) 内核完全接管。[7]
Fusion 最显著的优势在于消除跨格式传递损耗：实体装配、数控刀具轨迹、流体热力学网格与印刷电路板全部保存在统一项目内。商业模式采取年费订阅制，辅以面向个人非商业用途的限缩版。[17] 相应的代价则是对网络基础设施的深度依赖，且诸多高级加工或衍生式设计模块必须支付高阶扩展包年费。
SOLIDWORKS：工业制造传统的强大惯性
达索系统旗下的 SOLIDWORKS 是 Windows 工作站平台事实上的机械装配工业标准；SOLIDWORKS 2026 版于2025年11月正式发布。[18] 其几何核心由西门子 Parasolid 提供。作为达索的旗舰产品，却长期采购竞争对手西门子的核心算法授权，这一看似矛盾的产业架构已稳健运行了数十年。[4][3]
SOLIDWORKS 的竞争力体现在巨型装配体处理能力、完备的二维工程制图标准以及全球供应链对 SLDPRT 的深度默契。局限性则集中在较高的软件购置成本以及对 Windows 操作系统的完全依赖。[18]
第一重转折： SOLIDWORKS 与 Onshape 运行着相同的内核——Parasolid。然而，相同的内核并未带来通用的文档体系。SOLIDWORKS 保存的是本地二进制文件；Onshape 维护的是云端数据库的事务日志。若误以为同属 Parasolid 便能无损迁移特征树，便是将内核运算与上层数据架构混为一谈。相同的引擎，迥异的契约。
路线二：代数约束求解器作为核心价值
基于约束的建模把形体抽象为几何尺寸与拓扑关系的代数联立方程，由求解器同步计算出满足所有条件的坐标集合。SolveSpace 是此类思想极其纯粹的代表。它以单一免安装绿色文件运行，其核心算法完全由自研的符号方程求解器构成。[12][13][22]
SolveSpace 3.3 于2026年10月20日发布，基于 GPLv3 协议开源，原生支持 Windows、Linux 及 macOS。[13] 其功能涵盖二维草图、尺寸约束、拉伸旋转、布尔装配、自由度（DOF）动态诊断和平面机构运动轨迹跟踪。[12]
该软件的局限同样一目了然：原生缺少三维圆角与倒角工具；复杂自由曲面的布尔运算较为脆弱；缺乏高级有限元与数控后处理。[19] 但在输出标准二维 DXF、STEP、STL 和简易 G 代码方面极为利落，是激光切割、水刀切割及板金下料的实用利器。[12]
第二重转折： SolveSpace 最宝贵的资产不是其绘制窗口，而是其约束求解器。其方程求解核心已被其他开源项目剥离并移植，FreeCAD 的 Assembly3 工作台以及 Blender 的 CAD Sketcher 插件均基于其实践代码。[19] 这款小巧工具的技术生命力在它自身界面之外生生不息。
路线三：NURBS曲面数学与算法生成
NURBS 建模通过控制点阵列、节点矢量与权重比率严格定义曲线曲面。它并不用离散的多边形去逼近圆形，而是保存绝对精确的数学方程，因而能完全满足机械精密加工公差。Rhinoceros 是该体系在桌面端的经典之作。[14]
Rhino 9 坚持995美元的商业永久买断制，学生版为195美元，无需背负强制性按年订阅。[14] 软件完美运行于 Windows 与 macOS，依托 .3dm 格式与 openNURBS 开源接口库，与各类工程平台保持顺畅交互。[14][20] Rhino 9 进一步优化了细分曲面（SubD）建模和 Direct3D 加速视口。
Grasshopper 是内置于 Rhino 的可视化参数化编程环境。设计师在画布上连接算法逻辑节点，实现由数学规则驱动的形态生成。[15] 自第6版起成为出厂标配，随着 Rhino 9 推出，Grasshopper 2 也同步登场。[15][14] 但需注意，Grasshopper 并非独立几何内核，而是架设在 Rhino 强大 NURBS 底层之上的算法调度层。
第三重转折： 参数化设计与参数化机械CAD具有根本差异。在 Grasshopper 中，工程师可依日光辐射轨迹动态生成整栋建筑外立面的数千个百叶角度。然而这并非机械工程中带有螺栓配合与公差配合的装配树。Rhino 提供数学精度，Grasshopper 提供逻辑弹性；二者在形态生成上难逢对手，却无法代替常规工业机械工程设计。[14][15]
路线四：开源生态与数字技术自主权
开源参数化CAD为业界提供了一个从底层几何计算到用户界面完全可审计的技术栈，这超越了“省下授权费”的狭隘概念。FreeCAD 是开源领域中能够处理真三维 B-Rep 实体的集大成者。其底层几何算法库依托 Open CASCADE Technology，整套套件依据 LGPL-2.1-or-later 发布。[11][21]
FreeCAD 1.0 于2024年11月18日发布。该版本重点引入了拓扑命名问题（TNP）缓解算法。官方说明指出，该机制极大地稳定了模型树的修改鲁棒性，后续版本将持续优化。[9] 1.0 版本还将基于 Ondsel 求解器的官方装配工作台正式纳入标准发行包。[9]
2026年10月，FreeCAD 调整了版本代号规划：于10月18日公布了 26.3 Release Candidate 2。[10] 其中“FreeCAD 1.0”保留为当前稳定生产基线，而 26.3 则成为开启全新周期的时间序版本。
第四重转折： 免费并不等于无约束。LGPL 许可允许企业在内部开展商业工程设计；但若修改并向外部重新分发底层库文件，则负有公开修改代码的法定义务。[11] 此外，部分第三方扩展件持有单独的许可协议。然而开源的核心战略优势无与伦比：即便外部商业机构发生变故，整套工程代码与模型资产将永久留存于开发者与用户手中。
FreeCAD 最强的杀手锏是其原生 Python API。工程师可在 PartDesign、CAM、FEM 和 BIM 各工作台间串联流程，运用脚本将重复造型自动化，亦可通过 freecadcmd 在云端服务器执行后台无界面计算。[9] 其工程天花板在于超大规模复杂装配的响应帧率及工程图规范化出图效率。
路线五：纯云端CAD与数据安全辖区
纯云端CAD将几何解算完全移交远端云服务器集群，以数据库事务记录取代传统的本地磁盘文件。Onshape 是这一模式的践行者：在标准浏览器中即开即用，无需执行“保存”动作，所有工程操作均自动记录入版本审计流。[16][3]
Onshape 选用西门子 Parasolid 作为几何实体解算引擎。西门子官方亦将 Onshape 视为 Parasolid 成功上云的标杆案例。[2][3] 因此，Onshape 的真正突破不是基础固体数学几何公式，而是由云数据库赋能的多人并行操作与内置 PDM 体系。
2026年11月其订阅档位保持为：Free（0美元）、Standard（1500美元/人/年）、Professional（2500美元）以及按需定制的 Enterprise。[16] 值得注意的是，Free 计划严格限制用于非商业用途，且所有保存的设计文档对全球互联网公开且可被自由复制。零元账单是以让渡设计机密为代价的。这适用于开源硬件项目，但绝对无法用于商业保密合同。
第五重转折： 云端工具最大的隐形成本往往不是席位年费，而是数据主权与法务合规。Onshape Government 版搭建于 AWS GovCloud 之上，用以满足美国严格的 ITAR 和 EAR 出口管制要求。[16] 凡对数据存储物理节点有严苛监管要求的机构，务必在技术选型前在法律层面达成协议。相同的计算引擎，不同的法律契约。
方案对比矩阵：各取所需
| 平台名称 | 建模核心范式 | 突出的工程长板 | 面临的架构边界 | 战略选型定位 |
|---|---|---|---|---|
| Fusion | 历史记录 + 混合云 | CAD、CAM、CAE 与 PCB 统一管理 | 不可逆的持续订阅、对网络的强依赖与增值插件开销 | 敏捷硬件产品研发团队的全功能集成平台 |
| SOLIDWORKS | 历史记录、本地工作站 | 超大装配体工程、规范工程出图及庞大协作网络 | 高昂的初始与维护成本，锁定于 Windows 平台 | 传统机械工程重型制造的核心工业基准 |
| Rhino + Grasshopper | NURBS + 算法逻辑网络 | 复杂双曲面、算法形态生成、买断制永久产权 | 标准机械配合关系与传统工程特征管理树较弱 | 工业美学造型、建筑幕墙与游艇外型研发重镇 |
| FreeCAD | 历史记录、完全开源 | 零授权负担、强大的 Python 自动化、原生 STEP/IFC | 上手门槛略高，巨型装配体处理效率需持续打磨 | 数字资产完全自主可控与长线归档的理想首选 |
| SolveSpace | 代数约束驱动、超轻量 | 资源占用极低、即时求解反馈、连杆运动学分析 | 无三维圆角功能，复杂实体布尔运算抗干扰性不足 | 单件机构快速打样、自由度校验及教学验证 |
| Onshape | 历史记录、原生云端 SaaS | 多人实时并发设计、内置云端版本管理、零本地部署 | 强制持续在线，免费版文档强制公开 | 多地协同设计团队与版本迭代频繁项目的利器 |
工程选型决策矩阵
我们不盲目推荐所谓“全能冠军”，而是根据具体工程背景提供首选与备选路径。
| 典型工程场景 | 首选解决方案 | 备选解决方案 | 推荐依据与决策权衡 |
|---|---|---|---|
| 个人极客、学生、零预算起步 | FreeCAD | Onshape 免费版, Fusion 个人版 | 完全无授权风险，开放 STEP 格式，支持 Python 扩展学习 |
| 单件机加工、连杆机构与运动学 | SolveSpace | FreeCAD | 直观的自由度检查和机构运动分析，毫秒级快速求解 |
| 敏捷硬件创业团队（结构+加工+电路） | Autodesk Fusion | Onshape + 独立CAM | 统一数据管道减少部门间格式转换摩擦，年费可预测 |
| 大型成套装备制造、供应链协同 | SOLIDWORKS | Siemens NX, Solid Edge | 成熟的 Parasolid 体系支持、合规的工程图纸与庞大外协加工网络 |
| 工业外观设计、复杂建筑异形造型 | Rhino + Grasshopper | Autodesk Alias, CATIA | 工业级 NURBS 曲面质量与无拘束的生成式算法控制 |
| 跨地域研发团队、急需云端版本管控 | Onshape | Autodesk Fusion | 原生云数据库杜绝文件覆盖事故，省去搭建本地机房成本 |
| 数据安全自主可控、极长生命周期归档 | FreeCAD + OCCT | SolveSpace | LGPL 规范保护，开放的 STEP/IFC 标准与完全可见的代码底层 |
常见工程疑问解答（FAQ）
参数化CAD与参数化设计是一回事吗？
二者并非同义词。参数化CAD是指针对机械实体工程的具体软件分类；而参数化设计是一种更宽泛的形态构思哲学，旨在用变量与关系逻辑去推演复杂形体。Rhino 配合 Grasshopper 是出色的参数化设计系统，但它不属于经典意义上按时间步进的机械实体特征树 CAD。
哪个几何内核在技术上更为卓越？
这取决于实际工程诉求。西门子 Parasolid 具备最成熟的工业实体计算能力与广泛生态；Autodesk ShapeManager 确保了欧特克全系工具的内核纯正；Open CASCADE Technology 提供了完全自由透明的开源底座与优秀的 STEP 格式支持；而 Spatial ACIS 拥有超三十年的商业软件集成经验。[2][5][8]
FreeCAD 能否直接打开原生 SOLIDWORKS 图档？
无法直接打开包含完整参数特征树的 SLDPRT 或 SLDASM 文件。工业界通行的交互桥梁是中间格式 STEP（如 AP242）或 IGES，这类格式能完整传达准确的实体几何边界，但无法保留原始专有软件的内部特征执行逻辑。
企业是否可以合法使用 Onshape 免费版？
不可以。Onshape Free 仅供非商业用途，且所有创建的模型均在互联网公开共享。[16] 凡涉及商业客户的项目，必须购买 Standard 或 Professional 付费订阅以确保知识产权的严格私密。
Rhino 是否属于纯粹的参数化软件？
Rhino 的基础建模模块是以直接造型为主的 NURBS 曲面系统。其参数化能力由内置的 Grasshopper 节点环境提供。Grasshopper 构建的是高度关联的数据图，与 SOLIDWORKS 传统的顺序特征生成树在操作本质上有所不同。[14][15]
结语：十年之后谁能读取你的模型？
1973年剑桥学者提出的技术挑战至今未变：计算机如何严密定义一个物理实体？Parasolid 和 ACIS 给出了成熟的商业答案；OCCT 给出了开源世界的答案；ShapeManager 支持着欧特克的产品矩阵；openNURBS 则为自由曲面提供了开放格式。评测中的六款软件无一不基于特定的几何内核与约束系统。决定产品命运的，正是内核之上所附加的商业协议与技术契约。
在为团队做工具选型时，切勿仅停留在按钮操作的便捷度上。请在立项前书面明确两个核心问题：十年之后，你的企业还能否无障碍提取这份工程资产？在交付过程中，几何模型的归属与边界究竟受谁管辖？理清这两个问题，其价值远胜于研读冗长的数据规格表。
参考文献
- 维基百科 — Shape Data 与 Romulus Modeling Kernel。实体建模几何内核的历史起源。
- 西门子 — Parasolid 几何建模内核。技术架构规范、XT 数据格式与 OEM 生态。
- 维基百科 — Parasolid。版本历史与工业部署记录。
- 西门子 PLM 博客。关于机械 CAD 几何内核替换成本的技术分析。
- Spatial — 3D ACIS Modeler。ACIS 引擎的商业演进与 B-Rep 能力。
- 维基百科 — Autodesk ShapeManager。2001年自 ACIS 7.0 分支的历史沿革。
- 欧特克 Fusion 技术博客。关于底层 Autodesk Shape Manager (ASM) 的说明文档。
- Open CASCADE Technology (OCCT)。8.0.1 版本说明与 LGPL-2.1 开源协议。
- FreeCAD 1.0 版本发行说明。拓扑命名问题（TNP）缓解及装配工作台。
- FreeCAD 官方博客 — 26.3 RC2。新版时间序命名规范公告。
- FreeCAD 开源授权协议。GNU LGPL v2.1 完整协议条款。
- SolveSpace — 技术特性文档。几何约束求解器、运动学分析与导出功能。
- SolveSpace 3.3 发布说明。跨平台独立可执行文件说明。
- Robert McNeel & Associates — Rhino 9。商业永久授权机制与曲面建模工具集。
- 维基百科 — Grasshopper 3D。算法建模与节点式数据流系统。
- PTC Onshape — 订阅方案与定价。各级别授权条款与公共空间规则。
- 维基百科 — Autodesk Fusion。正式发布构架与多学科协同体系。
- 维基百科 — 达索系统 SOLIDWORKS。SOLIDWORKS 2026 发布与运行环境。
- LWN.net — 开源 CAD 系统调研。约束求解器在开源软件中的移植与分析。
- openNURBS 开发者指南。开放 .3dm 几何数据读写规范。
- FreeCAD 技术文档 — OpenCASCADE 集成。B-Rep 拓扑运算在 FreeCAD 中的实现。
- SolveSpace 代码仓库。符号代数约束求解器的数学实现。