垫片 30篇文献引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
数字Gfun 在14份文件中引用(2010–2024) 软件作者： 马克·梅扎罗巴 相关软件： 枫树；SageMath；gfun… 主要字段： 代数几何（14-XX）；特殊功能（33-XX）；常微分方程（34-XX）…
Oink公司 13份文件引用(2018–2022) 软件作者： T·迪克。 相关软件： PGSolver；条纹；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SqFreeEVAL公司 在11份文件中引用(2012–2023) 软件作者： 伯尔，迈克尔·A。；费利克斯·克拉默 相关软件： 隔离；na20；ANewDsc… 主要字段： 代数几何（14-XX）；实函数（26-XX）；复变量函数（30-XX）…
ExaGeoStat公司 8份文件引用(2018–2023) 软件作者： 阿卜杜拉，S。；Ltaief，H。；孙，Y。；Genton，M.G。；凯斯，D.E。 相关软件： R；FRK公司；ExaGeoStatR… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
DGGHR3公司 7份文件引用(2015–2022) 软件作者： 拉尔斯·卡尔森（Lars Karlsson）；法国蒂索 相关软件： DGGHRD；NLEVP；Chebfun… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）；算子理论（47-XX）…
DGGHRD公司 7份文件引用(2015–2022) 软件作者： 拉尔斯·卡尔森（Lars Karlsson）；法国蒂瑟{c} 欧斯 相关软件： DGGHR3；NLEVP；Chebfun… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）；算子理论（47-XX）…
精确度 7份文件引用(2001–2009) 软件作者： S.Krishnan、M.Foskey、T.Culver、J.Keyser、D.Manocha 相关软件： MAPC；利迪亚；mctoolbox… 主要字段： 交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
多项式的 5份文件引用(2016–2023) 软件作者： 豪尔赫·德尔加多；胡安·曼纽尔·佩纳 相关软件： TNTool；Padua2D；Padua2DM… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）
cuHE公司 4份文件引用(2016–2022) 软件作者： 戴伟；伯克·苏纳尔 相关软件： CUDA；HElib；GitHub… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
翻转剪切 2份文件引用(2011–2013) 软件作者： Brinkmeyer，麦芽；Thasso Griebel；塞巴斯蒂安·B“ocker 相关软件： Rec-I-DCM3；PAUP*；物理SIC… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
克朗 1份文件引用(2023) 软件作者： 卢卡·卡尔德罗尼；卢西亚诺·玛加拉；莫雷诺·马尔佐拉 相关软件： KronFit；Matlab公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）