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

Pythran是Python语言子集的前置编译器，专注于科学计算。 它需要一个带有一些接口说明的Python模块，并将其转换为具有相同接口的本机Python模块，但速度更快。 相当于是你用它来实现更快的科学...

Java 的代数系统（的JAS ）是一个面向对象，类型安全的，多线程的方法，计算机代数。JAS 提供了一个精心设计的软件库，使用通用类型的代数运算执行 Java 编程语言。该类库可以用作任何其他 Java...

Neanderthal是一个Clojure库用于快速矩阵和线性代数计算，基于高度优化的BLAS和LAPACK计算程序的自动调入线性代数软件（ATLAS）本地库。 特性： 在GPU方面：对于大型矩阵，比优化最快的Java库快...

Furious.js 是由 ​​AMD（超威半导体）实验室​​开发的一款高性能 JavaScript 科学计算库，其设计灵感直接来源于 Python 生态中广受欢迎的 ​​NumPy​​。它旨在将 NumPy 强大的多维数组操作...

MathEclipse 是一个Java 计算机代数系统

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

Astropy 是一个 Python 工具包，它提供了大量核心的功能和用于天文学和天体物理学的常用工具。想要安装此工具，请查看线上文档或者源代码中的 docs/install.rst。

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

VisIt 是一种交互式并行可视化访问和图形的分析工具,用来查看科学数据。用户可以从他们能快速生成可视化数据,随着时间而动态显示,操纵他们,保存用来展现的结果图像。Visit含有丰富套可视化功能,...

Algebrite 是用 Javascript  (Coffeescript)  写的计算机代数系统。它是一个是一个应用于符号数学的JavaScript库，它尽可能地保持简单的代码，以便理解和容易扩展。 为什么...

Gnu MP 是一个任意精度的数学计算库。 operating on signed integers, rational numbers, and floating point numbers. There is no limit to the precision, except for the ones implied by a...