由于 C/C++标准库中没有几何数学库，这样造成在开发一个三维系统之初往往都需要自行实现一个实用的几何数学库，这样太费时费力了。GLM的出现可以很好的解决这个问题。 GLM 设计上遵照OpenGL Sha...

libefgy 包含一组 C++ 头文件，包含大量的跟数学相关的模板定义，包括分数算术、大整数、计算 n、e 数值等等。

Python(x,y) 是一个免费的科学和工程开发包，提供数学计算、数据分析和可视化展示。  

Axiom是一个通用的计算机代数系统，用于研究和开发数学算法，定义了强类型的数学形式上正确的类型系统，拥有自己的编程语言和内置编译器。

BayesDB 是一个贝叶斯数据库表，内建贝叶斯查询语言 BQL，用户无需统计方面知识即可解决一些基本的科学数据问题，例如检测和预测变量之间的关系、推断缺失值、找出类似数据库条目等等。 BayesDB...

Incanter是一个基于Clojure的类似R的统计计算与制图平台。 功能： 图形和可视化功能 数学函数 统计函数 矩阵和线性代数 数据操作

CrossCat 贝叶斯方法分析高维数据表。CrossCat估计整个联合分布表中变量的数据,通过近似推理层次结构、非参数贝叶斯模型, 并提供有效的采样条件分布。CrossCat结合非参数混合模型和贝叶斯网络结...

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

Blaze 是下一代的 NumPy。用于处理分布式的各种不同数据源的计算。

WinPython 是由 Python(x,y) 的作者开发，功能是比较全的,软件包也比较新，GUI基于PyQt，不过相对于Python(x,y)，它主要是关注便携式安装体验：你可以把它装在u盘里面。windows中可以不再使用Py...

Anaconda 是一个 Python/R 发行版，用于科学计算和信号处理等领域，支持 Linux, Mac, Windows, 包含了众多流行科学计算、数据分析等Python与R包。 它是一个大规模数据处理、预测分析和科学计算...

Choco-solver 是一个用于约束满足问题（Constraint Satisfaction Problems）和约束规划（Constraint Programming）的 Java 库。 它建立在一个可回溯结构的,基于事件的传播机制上。   ...