MathB - 数学公式分享工具
MathB 是一种数学 pastebin 软件,为 MathB.in 提供支持。 它是一种基于网络的服务,旨在与万维网上的其他人共享数学文本片段。 特点 极简的用户界面 实时预览正在输入的 Ma...
MathB 是一种数学 pastebin 软件,为 MathB.in 提供支持。 它是一种基于网络的服务,旨在与万维网上的其他人共享数学文本片段。 特点 极简的用户界面 实时预览正在输入的 Ma...
MathLabTool 是一款数学仿真、图形化工具,可为数学相关的实验、仿真、图形化等各类需求,提供便捷工具。 可以为数据绘制各类2D、3D图形,显示实时串口数据图形,封装各类算法。 资源 Gi...
Calcutext 是一个网络应用程序,你可以在其中使用书面文本进行计算。 特性: 将任何数学运算(如 mathjs 中可用的)编写为一系列书面行来记笔记和进行计算 本地存储/可切换/可管理的文...
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 包含了众多数学库,包括用于矩阵和线性代数的库、统计、概率分布和抽样,同时包括函数分化、整合和优化的工具,以及网络创建...
没有更多内容
加载失败,请刷新页面