马克·麦康奈尔 Sheafhom：稀疏整数矩阵软件。 （英语） Zbl 1140.13300号 纯应用程序。数学。问：。 3，编号1307-322（2007）. 概要：Sheafhom是一个自由软件包，用于整数和相关环上有限生成模块类的大规模计算。它的前端是用于代数拓扑和几何问题的语言。这些问题归结为整数上的稀疏线性方程组。Sheafhom的后端解决了稀疏系统，重点是避免填充和整数爆炸。我们调查和比较了整数稀疏矩阵的算法，并介绍了Common Lisp中的实现技术。最后一节根据字典中的单词集，按照J.-F.梅斯特等【实验数学2，第3期，153-155（1993；Zbl 0818.20033号)]. MSC公司： 13-04 与交换代数有关的问题的软件、源代码等 68瓦30 符号计算和代数计算 第13页99 交换环的计算方面和应用 1999年第14季度 代数几何中的计算方面 14-04 代数几何相关问题的软件、源代码等 关键词：软件包;大规模计算;有限生成模的范畴;稀疏线性方程组;算法 引文：兹伯利0818.20033 软件：Sheafhom 2.0型;Sheafhom公司;麦考利2 PDF格式BibTeX公司 XML格式引用 \textit{M.McConnell}，纯苹果。数学。问3，第1号，307--322（2007；Zbl 1140.13300） 全文： DOI程序