LAPACK公司 1769年文献中引用(1988–2024) 软件作者： LAPACK团队：lapack@cs.utk.edu 相关软件： BLAS；ScaLAPACK；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿尔帕克 893份文件引用(1995–2024) 软件作者： 勒霍克；索伦森；杨 相关软件： 环境影响评价；JDQZ；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
cdd（光盘） 130篇文献引用(1996–2023) 软件作者： 福田康美 相关软件： 多品牌；lrs；Gfan… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
RAGlib公司 70篇文献引用(2003–2023) 软件作者： 让-查尔斯·福格尔；穆罕默德·萨弗里·埃尔丁 相关软件： 克罗内克；FGb；隔离… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
SMT-RAT型 25篇文献引用(2013–2024) 软件作者： Corzilius，F.、Kremer，G.、Junges，S.、Schupp，S.和Al brahám，E。 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；实函数（26-XX）…
raSAT系统 11份文件引用(2016–2023) 软件作者： T.V.Khanh，M.小川。 相关软件： SMT-RAT；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；数值分析（65-XX）…