ERME 全称 Eigen Recursive Matrix Extension，是对 Eigen（C++ 线性代数库）的拓展，拥有以下特性： 专用模板，允许创建和使用递归矩阵类型 支持递归稀疏矩阵（例如块状稀疏矩阵） ...

CaNS（Canonical Navier-Stokes）是一个用于流体流动的大规模并行数值模拟的代码。它的目标是解决任何不可压缩的牛顿流体的流动，这些流体可以从三维笛卡尔网格中基于 FFT 的二阶有限差分泊松方...

Arb 是一个用于任意精度区间算法的 C 语言库，完全支持实数和复数。该库线程安全、可移植，且经过广泛测试。 特征 除了基本算术，Arb 还允许处理单变量多项式、截断幂级数以及实数和复数矩阵。 ...

NASOQ 是一种可扩展且高效的二次规划求解器，可以获得所需精度的解。 安装 库要求 MKL Pardiso 或 OpenBlas (BLAS)、OpenMP 和 METIS。Cmake 处理 METIS。如果将 OpenBlas 安装在其默认位置 (su...

GAP 是 Groups、Algorithms、 Programming 的首字母简称，是一个计算离散代数的系统，特别强调计算群理论，主要用于研究组及其表示、环、向量空间、代数、组合结构等。 GAP 开发库提...

Dentaku 是一种数学和逻辑公式语言的解析器和评估器，它允许在运行时将值绑定到公式中引用的变量。它旨在在不打开安全漏洞的情况下安全地评估不受信任的表达式。 例子 这可能是最简单的用代码来...

CaNS（Canonical Navier-Stokes）是一个用于流体流动的大规模并行数值模拟的代码。它的目标是解决任何不可压缩的牛顿流体的流动，这些流体可以从三维笛卡尔网格中基于 FFT 的二阶有限差分泊松方...

COOLFluiD (Computational Object-Oriented Libraries for Fluid Dynamics) 是一个为多物理场应用构建数值求解器的框架。 特性： 允许你使用任意数据结构构建自定义的并行 PDE 和粒子求解...

SALOME 根据 LGPL 许可分发，为数值模拟的前处理和后处理提供了一个通用平台，可对各个领域的物理过程进行建模和仿真，以及处理多物理场和参数研究等大型数值模拟。 它包括参数化 CAD 建模器、...

OpenTURNS 是一个 C++ 和 Python 库，内置专用于处理不确定性数据的模型和算法。该库的主要目标是提供处理工业应用研究中的不确定性所需的所有功能。官方表示，该软件的目标用户是所有希望在迄...

OpenPLC 是一个功能齐全的标准化开源 PLC，无论是软件还是硬件，其诞生之初的重点是为自动化和相关研究提供低成本的工业解决方案，现被广泛用于工业网络安全研究的框架。 OpenPLC 由三部分组成...

Beremiz 是一个用于机械自动化的 PLC 集成开发环境（IDE），符合 IEC61131-3 编程语言标准，可将任何处理器变成 PLC。Beremiz 还包含用于创建 HMI 并将 PLC 程序连接到现有的监控、数据库或现场...