Pyodide 在浏览器端实现 Python 全栈科学计算-卡核

Pyodide 在浏览器端实现 Python 全栈科学计算

Pyodide 由编译成 WebAssembly 的 CPython 3.8 解释器组成,允许 Python 在网页浏览器中运行。 Pyodide 可以安装来自 PyPi 的任何 Python 包。Pyodide 还包括一个外部函数接口,可以将 Python ...
Lethe 开源计算流体动力学软件-卡核

Lethe 开源计算流体动力学软件

Lethe(发音为 /ˈliːθiː/)是开源计算流体动力学 (CFD) 软件,它使用高阶连续 Galerkin 公式来求解不可压缩的 Navier-Stokes 方程(等等)。Lethe 包含一系列基于 deal.II 的求解...
micromath 嵌入式友好的数学库-卡核

micromath 嵌入式友好的数学库

micromath 是一个嵌入式友好(即 no_std)的 Rust 数学库,为常见的算术运算、三角学、2D/3D矢量类型、统计分析和四元数提供快速、安全的浮点近似。   micromath 支持使用位操作对 f32 的...
CalculiX 三维结构有限元处理程序-卡核

CalculiX 三维结构有限元处理程序

CalculiX 是一个使用有限元法的分析软件,可以构建、计算和后处理有限元模型。前处理器和后处理器是使用 openGL API 的交互式 3D 工具,支持 Nastran、Abaqus、Ansys、ISAAC 和 OpenFOAM 等软件...
ERME Eigen 递归矩阵拓展-卡核

ERME Eigen 递归矩阵拓展

ERME 全称 Eigen Recursive Matrix Extension,是对 Eigen(C++ 线性代数库)的拓展,拥有以下特性: 专用模板,允许创建和使用递归矩阵类型 支持递归稀疏矩阵(例如块状稀疏矩阵) ...
CaNS 求解不可压缩牛顿流体的流动-卡核

CaNS 求解不可压缩牛顿流体的流动

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

NASOQ 高速 QP 求解器

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

Arb 任意精度区间算法 C 库

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

GAP system 离散代数开发库

GAP 是 Groups、Algorithms、 Programming 的首字母简称,是一个计算离散代数的系统,特别强调计算群理论,主要用于研究组及其表示、环、向量空间、代数、组合结构等。 GAP 开发库提...
Dentaku 数学和逻辑公式解析器-卡核

Dentaku 数学和逻辑公式解析器

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

CaNS 求解不可压缩牛顿流体的流动

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

COOLFluiD 面向对象 HPC 平台

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