数据库表设计助手 功能：范式(NF)分解、求最小依赖集、计算闭包、主码、候选码。 详细功能 计算闭包 计算增广集 计算传递依赖 计算闭包 计算关键字 计算主码 计算候选码 计算最小依赖集 依赖分...

The Parma Polyhedra Library 是一个用户友好的、全动态的，采用标准 C++ 编写的、异常安全的、高效而且文档完善的数值抽象库。

PyParticles 是一个完全用 Python 编写的粒子模拟工具箱。模拟粒子由粒子模型与最流行的集成方法，包括欧拉法，龙格库塔，和中点。它使用 OpenGL 和 matplotlib 实现细节，并提供了一个易于使用...

libdeco-ostc 提供了用于潜水减压计算的开发库。库函数使用 OSTC 潜水计算器固件并反悔减压调度信息。减压模型使用带梯度因素的 Buhlmann (ZH-L16C)，提供 C 和 Python API。

SageMath是一个基于GPL协议的开源数学软件。它使用Python作为通用接口，将现有的许多开源软件包整合在一起，构建一个统一的计算平台。功能：The interactive ShellBasic Algebra and CalculusPl...

一、项目介绍Numpy.GPU是一个面向Numpy的Gpu加速库，基于Cuda。注：您必须拥有一块NVIDIA的GPU才能享受加速效果。二、安装教程1.从源码安装pip install git+https://gitee.com/killf/...

LIBSVM是台湾大学林智仁(Lin Chih-Jen)副教授等开发设计的一个简单、易于使用和快速有效的SVM模式识别与回归的软件包，他不但提供了编译好的可在Windows系列系统的执行文件，还提供了源代码，方...

GNU Scientific Library (GSL) 是一个为C和C++程序员提供的数值库。它是 GNU 通用公共许可证下的自由软件。 该库提供了广泛的数学程序，如随机数生成器、特殊函数和最小二乘法拟合。总共有超过1...

Numpile 是极小的，由千行 Python 代码构成的，基于 LLVM 的数值科学计算工具。 from numpile import autojit @autojit def dot(a, b):     c&nb...

levmar是一个强大的和高效率的C/C++的实施采用Levenberg - 马奎德（LM）优化算法。 LM解决非线性最小二乘问题，即配备了一个模型，是非线性的未知参数（M>= N）在N米观测。 levmar包括双人和...

Modelica语言是一种非专有的，面向对象，基于方程的语言，可以方便地模拟复杂的物理系统，例如，机械，电气，电子，液压，热，控制，电力。

DOLFIN 是 FEniCS 项目的 C++ 接口，用于实现自动化的计算数学建模 (ACMM) providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equatio...