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 丹尼尔·斯特菲(Daniel E.Steffy)。 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月) 按年份列出的引文