PyMiner一款基于数据工作空间的数学工具，通过加载插件的方式实现不同的需求，用易于操作的形式完成数学计算相关工作。 项目开发环境支持跨平台，windows,linux,mac 都支持！如果使用出现问题，...

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

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

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

iTorch 是 Torch 的 IPython 内核，包括图片可视化，绘画（使用 Bokeh.js），视频和音频。 主要特性 iTorch notebook 模式跟任意的 IPython notebook 一样 提供有用的在线自动完成，无论什么时...

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

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

Xmacs是基于GNU TeXmacs某个版本定制的发行版。GNU TeXmacs是为科学家们或者说科技工作者们设计的科技编辑平台。而Xmacs致力于成为一个能够编辑编辑代码和轻量级标记语言的结构化编辑器。 Xmacs...

CardinalityEstimation 通过一十分迅捷的规则估算出组里元素的数量，并储存下来。 示例代码： ICardinalityEstimator<string> estimator = new CardinalityEstimator...

Gonum 是一组数学库，旨在使编写数字和科学算法高效、可扩展。 Gonum 包含了众多数学库，包括用于矩阵和线性代数的库、统计、概率分布和抽样，同时包括函数分化、整合和优化的工具，以及网络创...

OpenMM 是一个用于分子模拟的高性能工具包。可以将其用作库调用或作为独立程序运行。 此工具包还包含适用于 Python、C、C++ 与 Fortran 的语言绑定。 这一工具包具有极高的灵活性与速度，通过 G...

PDFO（Powell's Derivative-Free Optimization solvers，Powell 无导数优化求解器）为 Michael J. D. Powell 的无导数优化求解器提供跨平台的调用接口。这些求解器包...