数学计算

MSIEVE 是 Jason Papadopoulos 创建的数域筛法实现，可以优化大整数的分解。

fblualib 是一个 Lua/Torch 集合，此集合在开发 Facebook 时发挥了重要作用。其中一些工具在没有 Torch 的情况下也能使用。LuaJIT 是必须的，目前只支持 x86...

波兰形态分析仪和Java库接口。第一次完全开源和综合形态的工具和有限状态的波兰和其他语言技术。

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

Kity Formula 为您提供公式表达式解析，可视化公式编辑，公式完美展示于一身的web端的整体解决方案。 KityFormula 包括：KityFormula-editor，KityFor...

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

Z3 是来自微软研究院的的一个定理验证工具。 使用Visual Studio命令提示符在Windows上构建Z3 32位版本 python scripts/mk_make.py 或者，对于6...

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

fbtorch 是 Facebook 的 torch/torch7 框架扩展包。

fbpca 是Facebook 公司开源的 Fast Randomized PCA/SVD 工具（快速随机 PCA/SVD 算法分析）。

Ceemple 是一个快速开发基于 C++ 计算应用的变革解决方案。利用了 MATLAB 和 Python 的生产效率，结合了 C++ 语言的高性能。 Ceemple 支持快速编程方法，包括：自...

免费开源的相变晶体学计算软件。主要功能模拟TEM衍射斑，画极射投影图，计算相变晶体学（O点阵，边-边匹配模型，马氏体相变晶体学，马氏体表象理论，三维近重位点阵模型等。软件基于Python。

Hilbert 是一个用于数学的编程语言，Hilbert 让你在键盘上使用数学就好像用你笔在做同样事情一样。

Scalable 表格 (SFrame, SArray) 和图形 (SGraph) 数据结构用于数据分析。SFrame 提供下列结构的完整实现： SFrame SArray SGraph C++...

π-Base 是拓扑示例社区数据库，提供自动演绎和强大搜索功能。 语法： 使用 ~ 进行否定， {和: [...]} 或者 {or: [...]}嵌套。 你可以通过以下这些字符开启不同的搜索模式...

clBLAS 是 BLAS 的 OpenCL 实现

Victor.js 是一个 JavaScript 的 2D 向量数学图表库，支持浏览器和 Node.js。 示例代码： npm install victor --save var Vi...

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

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

Choco-solver 是一个用于约束满足问题（Constraint Satisfaction Problems）和约束规划（Constraint Programming）的 Java 库。 ...