×

IML-整数矩阵库

swMATH标识: 440
软件作者: Z、 陈;A、 斯托约翰;科里·弗莱彻
说明: 整数矩阵库。IML是一个免费的C源代码库,它实现了计算整数上稠密线性方程组精确解的算法。IML被设计为与CBLAS库(例如ATLAS/BLAS)和GMP bignum库一起编译。IML用可移植C语言编写,可以在32位和64位机器上使用。它可以从C++调用。目前,IML提供了以下功能:非奇异有理系统求解:计算系统AX=B的唯一有理解X,其中A和B是整数矩阵,A非奇异。计算整数矩阵的右零空间。认证线性系统求解:计算系统Ax=b的最小分母解x,其中b是整数向量,a是具有任意形状和秩分布的整数矩阵。此外,IML为各种modp矩阵运算提供了一些低级例程:计算modp矩阵的行梯队形式、行列式、秩轮廓和逆。这些modp例程不是通用的;它们要求p根据输入矩阵的维数满足一些先决条件(通常p应该是素数,长度不超过20位)。
主页: https://cs.uwaterloo.ca/~astorjoh/iml.html
关键词: orms公司
相关软件: 林克斯;PipLib公司;isl公司;4第2页;麦考拉2;gmp;github;圣哲;巴黎/GP;打火石;QSopt精确;QSopt_前;MIPLIB公司;索普莱克斯;雷神之锤;JavaSMT公司;帕盖;焦点;;z3型
参考文献: 16种出版物
ORMS中也引用了该软件。

按年份引用出版物