科学计算/数学计算

测量匹配数据系统软件（CM4D）是一款针对测量尺寸数据的SPC统计分析软件，主要是有数据收集、数据存储、数据分析、数据交付4部分组成。

Spartan是计算化学软件,Spartan既可以在单机上完成所有计算任务，同时也支持Client-Serve模式，能够通过网络向Linux服务器远程提交计算.

SAS/STAT软件提供了从传统的方差分析和回归分析，到多元统计和贝叶斯分析，满足专业化和企业级的分析需求。

GAUSS平台是一个专为数学和统计学设计的交互式环境，30多年来一直被主要机构的数据依赖领域的领导者使用。

数据库运维监测平台白羊座Aisc集监控全局预警、故障快速诊断、性能优化共和一键巡检、多维度分析五大功能于一体，通过简单、易用的操作界面，快速获取数据库关键信息，实现对数据库7*24小时不间断监控管理，最大程度保障系统稳定运行，帮助各行业解决

Maxima 是一款免费、开源的计算机代数系统，它提供了强大的数学符号计算能力。作为一种基于 Lisp 语言的工具，Maxima 能够进行高级的数字计算、数学函数绘图、符号运算、微积分、矩阵计算、概率统计等多样化的数学运算，可以帮助用户完成

强大的建模语言和高效的表达方式让 AMPL 成为运筹学建模软件的经典。

GeoGebra 是一款适用于各级教育的动态数学软件, 它将几何, 代数, 表格, 绘图, 统计和微积分整合到一个引擎中. 此外, GeoGebra 还提供了一个在线平台, 其中包含由多语言社区创建的超过 100 万个免费课堂资源. 这些资

Scientific WorkPlace 6使写作，共享和排版数学和科学文本比你想象的更容易。这是一个易于使用的文字处理器，在同一个环境中集成数学和文本。 Scientific WorkPlace 6中的嵌入式MuPAD5®计算机代数引擎允

LISREL模型，方法和软件已经成为结构方程模型（SEM）的代名词。SEM允许社会科学，管理科学，行为科学，生物科学，教育科学和其他领域的研究人员对其理论进行实证评估。这些理论通常被形成为观察和潜在（不可观察）变量的理论模型。如果为理论模型

InfoSphere Optim提高数据的管理效率，增强跨应用程序、数据库及平台的协作，通过管理数据的生命周期，更好的支持业务目标，降低风险。

Optimization Toolbox™ 提供了寻找最小化或最大化目标并同时满足限制条件的函数。

北京金阳普泰石油技术股份有限公司 GPTSim是一款功能强大的数值模拟软件。可模拟多种油藏类型、多种开发方式、多种井型、多种水体类型，具备重启、网格加密、井筒PVT、多相流运算等常用功能。GPTSim由前处理模块、运算与监测模块和后处

以高性能计算为核心，覆盖AI、大数据、教学实训、容器和虚拟化等多应用场景的统一算力平台。 统一资源池 支持多元化算力，无缝对接本地计算中心、跨机房、远程大型超算中心和公有云等，用户可以无感知轻松使用远程算力，大大提升计算服务能

Elements是一款面向未来系统设计工程的多物理场集成分析工具，包含多种物理场的元件库，通过将多领域多物理场的子系统连接为单一模型，帮助用户发现不同物理场之间的相互影响，了解系统特性并尽早地满足设计要求。Elements软件易于学习，即使

支持视频智能分析、大数据流处理、函数服务等智能服务，就近提供实时边缘智能服务。提供边缘应用和serverless运行管理环境，简化应用开发、部署，根据业务需要快速部署边缘侧应用。边缘设备安全接入云端平台，应用数据安全上云。开放的数据接入能力