数学计算与符号运算软件，用于公式推导、数值求解、数据可视化及技术文档编写，适用于科研与工程教学。符号与数值计算二维三维绘图编程与文档集成当前版本：2019.1

微软.NET桌面运行时，为Windows桌面应用提供运行环境，支持WPF和Windows Forms程序执行。运行WPF桌面应用运行Windows Forms应用提供.NET运行时库支持当前版本：7.0.18

数据备份与灾难恢复软件，用于系统、磁盘、分区及文件的备份还原与迁移，支持定时任务和异机恢复。系统与磁盘镜像备份文件及分区还原定时计划与异机恢复当前版本：15.1

一款集视频格式转换、压缩、编辑、录屏与DVD刻录于一体的多媒体处理软件，适用于个人影音文件管理与创作。视频格式转换与压缩视频剪辑与特效编辑屏幕录制与DVD刻录当前版本：15.0.0.19

法律实务领域，用于查询、检索和参考《中华人民共和国民事诉讼法》条文，辅助诉讼程序理解与法律文书撰写。条文全文检索章节结构导航诉讼程序参考

面向Xilinx FPGA与SoC的软硬件协同开发套件，用于嵌入式C/C++软件开发、硬件逻辑设计与系统调试。Vitis统一软件开发平台，支持C/C++应用与AI引擎编程Vivado硬件设计套件，完成RTL综合、实现与比...

数据库转换工具，用于在Oracle与MS SQL Server之间迁移表结构、数据和索引等对象Oracle与MS SQL双向数据库转换迁移表结构、数据、索引和约束支持批量转换和命令行操作当前版本：2.1.2

面向桌面用户的付费Linux发行版，基于Ubuntu，提供多语言支持与预装生产力、多媒体及办公软件，适合从Windows迁移的用户。预装办公、多媒体与系统工具提供Windows风格桌面布局包含专业版专属应...

面向普通用户的视频剪辑软件，提供时间轴编辑、特效滤镜、字幕音频与导出分享等一站式创作功能。多轨道时间轴剪辑与关键帧动画内置特效滤镜、转场与字幕模板屏幕录制、音频编辑与多格式导出当前...

一款企业级建模与设计软件，支持UML、BPMN、ArchiMate等标准，用于业务流程分析、系统建模、代码工程及团队协作。UML/BPMN/ArchiMate等多标准建模业务流程模拟与优化分析代码生成与数据库工程增...