数学计算

SUNDIALS-卡核

SUNDIALS

SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic equation Solvers)提供了强健的时间积分器和非线性solvers,它们可以很容易和已经存在的模拟编码合成。它从用户那获得最小的信息,就...
fbpca 算法分析工具-卡核

fbpca 算法分析工具

fbpca 是Facebook 公司开源的 Fast Randomized PCA/SVD 工具(快速随机 PCA/SVD 算法分析)。  
Colour Python 颜色科学软件包-卡核

Colour Python 颜色科学软件包

Color是一个Python颜色科学软件包,实现了大量的颜色理论转换和算法。 安装:$ pip install colour-science 示例代码: >>> import colour >>> XYZ =&nb...
Z3 定理验证工具-卡核

Z3 定理验证工具

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

ScalarArithmetic 32/64 位数值转换

ScalarArithmetic 使用隐式转换进行更好的 32 位和 64 位的数值类型转换。 示例: let myHeight = 34.5let myWidth = 100.23 let sizeOfWindow = ...
Libnabo-卡核

Libnabo

libnabo 是一个快速为低维度空间提供K最近邻居算法库。它提供了一个干净的,传统的无标量类型无关的C ++模板API。 示例代码: #include \'nabo/nabo.h\' using namespace Nabo; using namespace...
Armadillo C++ Library C++ 线性代数库-卡核

Armadillo C++ Library C++ 线性代数库

Armadillo C++ Library 是一种C++的线性代数库(矩阵数学)以取得良好的平衡速度与易用性。整数,浮点,而复杂的数字支持,以及一个子集,三角和统计功能。各种矩阵分解是通过可选的集成 与LAPA...
cuML GPU机器学习算法-卡核

cuML GPU机器学习算法

cuML是一套用于实现与其他RAPIDS项目共享兼容API的机器学习算法和数学原语函数。 cuML使数据科学家、研究人员和软件工程师能够在GPU上运行传统的表格ML任务,而无需深入了解CUDA编程的细节。 在...
Algebrite 计算机代数系统-卡核

Algebrite 计算机代数系统

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

ScalaBLAST

ScalaBLAST 是 NCBI BLAST 库的一个高性能的多处理器实现。它支持所有5个主要类型:BLASTN,BLASTP,TBLASTN,tblastx和Blastx和多种输出格式(pairwise, tabular和XML)。 它运行在大多数已安...
libefgy 常用 C++ 数学模板定义-卡核

libefgy 常用 C++ 数学模板定义

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

NCBI C++ Toolkit

NCBI C++ Toolkit 提供可移植的库和应用用来协助基因科学计算,包括网络、SQL 和 BerkeleyDB 访问、CGI、HTML处理,ASN.1 和 XML 处理、序列对齐引擎、BLAST 数据库引擎、FLTK 和 OpenGL 图形工...