CalculiX - 三维结构有限元处理程序 荐
CalculiX 是一个使用有限元法的分析软件,可以构建、计算和后处理有限元模型。前处理器和后处理器是使用 openGL API 的交互式 3D 工具,支持 Nastran、Abaqus、Ans...
CalculiX 是一个使用有限元法的分析软件,可以构建、计算和后处理有限元模型。前处理器和后处理器是使用 openGL API 的交互式 3D 工具,支持 Nastran、Abaqus、Ans...
CaNS(Canonical Navier-Stokes)是一个用于流体流动的大规模并行数值模拟的代码。它的目标是解决任何不可压缩的牛顿流体的流动,这些流体可以从三维笛卡尔网格中基于 FFT 的...
Arb 是一个用于任意精度区间算法的 C 语言库,完全支持实数和复数。该库线程安全、可移植,且经过广泛测试。 特征 除了基本算术,Arb 还允许处理单变量多项式、截断幂级数以及实数和复数矩阵。 ...
Dentaku 是一种数学和逻辑公式语言的解析器和评估器,它允许在运行时将值绑定到公式中引用的变量。它旨在在不打开安全漏洞的情况下安全地评估不受信任的表达式。 例子 这可能是最简单的用代码来说明...
GAP 是 Groups、Algorithms、 Programming 的首字母简称,是一个计算离散代数的系统,特别强调计算群理论,主要用于研究组及其表示、环、向量空间、代数、组合结构等。 G...
ERME 全称 Eigen Recursive Matrix Extension,是对 Eigen(C++ 线性代数库)的拓展,拥有以下特性: 专用模板,允许创建和使用递归矩阵类型 支持递归稀疏...
NASOQ 是一种可扩展且高效的二次规划求解器,可以获得所需精度的解。 安装 库要求 MKL Pardiso 或 OpenBlas (BLAS)、OpenMP 和 METIS。Cmake 处理 ...
micromath 是一个嵌入式友好(即 no_std)的 Rust 数学库,为常见的算术运算、三角学、2D/3D矢量类型、统计分析和四元数提供快速、安全的浮点近似。 micromath 支持使...
DeepXDE 是一个用于科学计算的机器学习库,它具有以下功能: 通过物理信息神经网络 (PINN) 求解正向和反向偏微分方程 (PDE), 通过 PINN 求解正向和逆向整数微分方程 (IDE...
Manim 是一个用于解释数学视频的动画引擎,由社区维护。它被用来以编程方式创建精确的动画,具体可查看 3Blue1Brown 的视频。 技术概念的动画制作在传统上是相当乏味的,因为要使动画足够...
Pyodide 由编译成 WebAssembly 的 CPython 3.8 解释器组成,允许 Python 在网页浏览器中运行。 Pyodide 可以安装来自 PyPi 的任何 Python ...
数据库表设计助手 功能:范式(NF)分解、求最小依赖集、计算闭包、主码、候选码。 详细功能 计算闭包 计算增广集 计算传递依赖 计算闭包 计算关键字 计算主码 计算候选码 计算最小依赖集 依赖分...
Xmacs是基于GNU TeXmacs某个版本定制的发行版。GNU TeXmacs是为科学家们或者说科技工作者们设计的科技编辑平台。而Xmacs致力于成为一个能够编辑编辑代码和轻量级标记语言的结...
OpenMM 是一个用于分子模拟的高性能工具包。可以将其用作库调用或作为独立程序运行。 此工具包还包含适用于 Python、C、C++ 与 Fortran 的语言绑定。 这一工具包具有极高的灵活...
PyMiner一款基于数据工作空间的数学工具,通过加载插件的方式实现不同的需求,用易于操作的形式完成数学计算相关工作。 项目开发环境支持跨平台,windows,linux,mac 都支持!如果使...
PDFO(Powell's Derivative-Free Optimization solvers,Powell 无导数优化求解器)为 Michael J. D. Powell 的无导数优化求...
Gonum 是一组数学库,旨在使编写数字和科学算法高效、可扩展。 Gonum 包含了众多数学库,包括用于矩阵和线性代数的库、统计、概率分布和抽样,同时包括函数分化、整合和优化的工具,以及网络创建...
JavaScript 实现计算机几何算法库,实现比如像距离、相交、包含、偏移、平行垂直判断、正负位置等算法。 演示地址 案例: 文档与演示(国内镜像)网速快 文档与演示(github) 点与其他...
Swift Numerics 是用于 Swift 的 Numerical API(数学计算),旨在填补标准库现有 API 中的一些重要空白,并为 Swift 编程开拓新领域。它内置了两个呼声甚高...
Pythran是Python语言子集的前置编译器,专注于科学计算。 它需要一个带有一些接口说明的Python模块,并将其转换为具有相同接口的本机Python模块,但速度更快。 相当于是你用它来实...
没有更多内容
加载失败,请刷新页面