排序
Pythran Python 前置编译器
Pythran是Python语言子集的前置编译器,专注于科学计算。 它需要一个带有一些接口说明的Python模块,并将其转换为具有相同接口的本机Python模块,但速度更快。 相当于是你用它来实现更快的科学...
Java Algebra System
Java 的代数系统(的JAS )是一个面向对象,类型安全的,多线程的方法,计算机代数。JAS 提供了一个精心设计的软件库,使用通用类型的代数运算执行 Java 编程语言。该类库可以用作任何其他 Java...
Neanderthal 计算快速矩阵和线性代数的库
Neanderthal是一个Clojure库用于快速矩阵和线性代数计算,基于高度优化的BLAS和LAPACK计算程序的自动调入线性代数软件(ATLAS)本地库。 特性: 在GPU方面:对于大型矩阵,比优化最快的Java库快...
Furious.js JavaScirpt 科学计算包
Furious.js 是由 AMD(超威半导体)实验室开发的一款高性能 JavaScript 科学计算库,其设计灵感直接来源于 Python 生态中广受欢迎的 NumPy。它旨在将 NumPy 强大的多维数组操作...
Z3 定理验证工具
Z3 是来自微软研究院的的一个定理验证工具。 使用Visual Studio命令提示符在Windows上构建Z3 32位版本 python scripts/mk_make.py 或者,对于64位版本: python scripts/mk_make.py -x 然后: c...
Astropy 天文学核心工具库
Astropy 是一个 Python 工具包,它提供了大量核心的功能和用于天文学和天体物理学的常用工具。想要安装此工具,请查看线上文档或者源代码中的 docs/install.rst。
GSL C 科学计算库
GNU Scientific Library (GSL) 是一个为C和C++程序员提供的数值库。它是 GNU 通用公共许可证下的自由软件。 该库提供了广泛的数学程序,如随机数生成器、特殊函数和最小二乘法拟合。总共有超过1...
VisIt 图形化科学数据分析工具
VisIt 是一种交互式并行可视化访问和图形的分析工具,用来查看科学数据。用户可以从他们能快速生成可视化数据,随着时间而动态显示,操纵他们,保存用来展现的结果图像。Visit含有丰富套可视化功能,...
Algebrite 计算机代数系统
Algebrite 是用 Javascript (Coffeescript) 写的计算机代数系统。它是一个是一个应用于符号数学的JavaScript库,它尽可能地保持简单的代码,以便理解和容易扩展。 为什么...
GNU GMP 高精度数学计算
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...






