Fidget 是一个用于表示、编译和评估大规模数学表达式（即成百上千的算术子句）的库。它主要被设计为隐式曲面的后端，但该库足够灵活，可用于多种不同用途。 Fidget 专注于 closed-fo...

cuPDLP 求解软件，可使用GPU实现线性规划问题求解，在求解超大规模线性规划问题上有显著优势。 例如，在某个测试案例中，使用英伟达H100，cuPDLP-C求解时间为916秒，而使用英特尔至...

SimSIMD 利用 SIMD intrinsics，即只有特定编译器才能有效利用的功能。该框架支持 x86 上的传统 AVX2 指令、Arm 上的 NEON，以及 x86 上罕见的 AVX-5...

这是加权中位数 5 点算法的 golang 实现。 算法详解可参考 Bernhard Korte, Jens Vygen, Combinatorial Optimization - Theory...

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致力于成为一个能够编辑编辑代码和轻量级标记语言的结...