×

IML-整数矩阵库

swMATH ID: 440
软件作者： Z.Chen；A.Storjohann；科里·弗莱彻
描述： IML-整数矩阵库。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还为各种mod p矩阵操作提供了一些低级例程：计算行chelon形式、行列式、秩剖面和mod p阵的逆。这些mod p例程不是通用的；它们要求p满足基于输入矩阵维数的一些前提条件（通常p应该是素数，并且长度不超过20位）。
主页： https://cs.uwaterloo.ca网址/~astorjoh/iml.html
关键词： 表单
相关软件： LinBox（接线盒）；4钛2；PipLib（图片库）；岛屿；麦考利2；gmp公司；垃圾邮件；多晶的；bgg-上同调；github；SageMath公司；PARI/GP公司；打火石；QShopt-精确；QSopt_ex（首选项）；MIPLIB公司；SoPlex公司；FOCI公司；雷神之锤；JavaSMT软件
引用于： 18文件
ORMS中也引用了该软件。
全部的 前5名

被31位作者引用

2 傅，诺丽
2 罗曼·勒布雷顿
2 乔治·帕帕塔纳西奥
2 高府县Shibuta
2 丹尼尔·E·斯特菲。
2 阿恩·斯托约翰恩
1 杰雷米·伯托米厄
1 陈亮
1 陈、朱亮
1 兰斯·J·狄克逊。
1 詹姆斯·德拉蒙德（James M.Drummond）。
1 Jean-Guillaume杜马
1 安布罗斯·格雷克斯纳（Ambros M.Gleixner）。
1 游击队，Eleonora
1 乔什·古芬
1 托马斯·哈林顿。
1 尼古拉斯·赫梅利索特
1 迈克尔·约翰·朱·雅各布森。
1 谢尔顿·卡茨
1 卡梅尔·莱雷杰
1 安德鲁·麦克劳德。
1 迈克尔·莫纳根。
1 大卫·莫尼奥（David P.Monniaux）。
1 雷纳特·谢特勒
1 马库斯·斯普拉德林
1 达米安·斯特勒
1 安德烈亚斯·斯坦因
1 安娜·乌尔班斯卡
1 吉尔斯·维拉德
1 里克·沃哈尔
1 伊拉里亚州扎帕托雷
全部的 前5名

9连载

2 符号计算杂志
2 高能物理杂志
1 离散应用数学
1 代数杂志
1 复杂性杂志
1 数学编程。A系列B系列
1 塔特拉山脉数学出版物
1 物理学报A：数学与理论
1 计算机代数中的ACM通信
全部的 前5名

13个领域引用

8 数值分析（65-XX）
8 计算机科学（68至XX）
4 数论（11-XX）
4 代数几何（14-XX）
4 线性代数和多线性代数；矩阵理论（15-XX）
三 量子理论（81-XX）
三 运筹学、数学规划（90-XX）
2 场论和多项式（12-XX）
2 信息与通信理论、电路（94-XX）
1 数学逻辑和基础（03-XX）
1 交换代数（13-XX）
1 非结合环与代数（17-XX）
1 复变量的函数（30年XX月）

按年份列出的引文