Calcutext 使用书面文本进行计算-卡核

Calcutext 使用书面文本进行计算

Calcutext 是一个网络应用程序,你可以在其中使用书面文本进行计算。 特性: 将任何数学运算(如 mathjs 中可用的)编写为一系列书面行来记笔记和进行计算 本地存储/可切换/可管理的...
NFDtool 自动模式分解工具-卡核

NFDtool 自动模式分解工具

数据库表设计助手 功能:范式(NF)分解、求最小依赖集、计算闭包、主码、候选码。 详细功能 计算闭包 计算增广集 计算传递依赖 计算闭包 计算关键字 计算主码 计算候选码 计算最小依赖集 依赖分...
MathB 数学公式分享工具-卡核

MathB 数学公式分享工具

MathB 是一种数学 pastebin 软件,为 MathB.in 提供支持。 它是一种基于网络的服务,旨在与万维网上的其他人共享数学文本片段。 特点 极简的用户界面 实时预览正在输入的 Markdown 和 LaTeX 内...
MathLabTool 数学仿真/图形化工具-卡核

MathLabTool 数学仿真/图形化工具

MathLabTool 是一款数学仿真、图形化工具,可为数学相关的实验、仿真、图形化等各类需求,提供便捷工具。 可以为数据绘制各类2D、3D图形,显示实时串口数据图形,封装各类算法。 资源 Gitee Git...
Manim 创建数学动画的 Python 框架-卡核

Manim 创建数学动画的 Python 框架

Manim 是一个用于解释数学视频的动画引擎,由社区维护。它被用来以编程方式创建精确的动画,具体可查看 3Blue1Brown 的视频。 技术概念的动画制作在传统上是相当乏味的,因为要使动画足够...
Pyodide 在浏览器端实现 Python 全栈科学计算-卡核

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

Pyodide 由编译成 WebAssembly 的 CPython 3.8 解释器组成,允许 Python 在网页浏览器中运行。 Pyodide 可以安装来自 PyPi 的任何 Python 包。Pyodide 还包括一个外部函数接口,可以将 Python ...
Deepxde 用于科学计算的深度学习库-卡核

Deepxde 用于科学计算的深度学习库

DeepXDE 是一个用于科学计算的机器学习库,它具有以下功能: 通过物理信息神经网络 (PINN) 求解正向和反向偏微分方程 (PDE), 通过 PINN 求解正向和逆向整数微分方程 (IDE), 通过分数 PINN (fP...
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 的二阶有限差分泊松方...
Arb 任意精度区间算法 C 库-卡核

Arb 任意精度区间算法 C 库

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