通用计算机代数系统，用于符号与数值计算、数学建模、可视化及技术文档编写，服务教学科研与工程分析。符号与数值计算二维三维图形可视化交互式技术文档与编程当前版本：2024.1.1

民法学术研究领域，用于系统梳理民法典体系结构与理论框架，辅助学者和法学生深入理解民法制度逻辑体系化梳理民法典各编制度逻辑提供民法理论与实务问题分析框架辅助法学教学与学术论文写作参考

铁路与轨道交通基础设施设计软件，用于线路几何建模、轨道铺设、站场设计及三维协同，支持从概念到施工图的全流程BIM设计。线路几何与纵断面设计轨道与道岔布置建模站场与土方工程计算当前版本...

民法总论教材PDF，用于高校法学教学、民法基础理论学习及法律职业资格考试备考参考。系统阐述民法总论基本概念与体系讲解民事主体、法律行为与代理制度提供案例分析与思考题辅助学习

西门子SIMOTION运动控制系统的独立工程组态软件，用于配置、编程、调试和诊断运动控制器及驱动。硬件组态与项目配置运动控制编程（MCC、ST、LAD）在线调试、诊断与轨迹记录当前版本：5.7

面向Java及多语言开发者的集成开发环境，提供智能编码辅助、调试、测试与版本控制等全流程开发支持智能代码补全与静态分析多语言框架支持与重构集成调试、测试与版本控制当前版本：2023.1.5