货币基金组织 89份文件引用(2012–2024) 软件作者： 罗伯特·安德森（Robert Anderson）、朱利安·安德烈（Julian Andrej）、安德鲁·巴克（Andrew Barker）、杰米·布兰威尔（Jamie Bramwell）、珍妮·西尔万·卡米尔（Jean-Sylvane Camier）、雅库布·塞维尼（Jakub Cerveny）、韦塞林·多布雷夫（Veselin Dobrev）、约汉·杜杜杜杜维特（Yohann Dudouit）、亚伦·费舍尔（Aar 相关软件： 炒作；交易.ii；PETSc… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
CiME公司 38篇文献引用(1997–2022) 软件作者： 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班 相关软件： AProVE；蒂罗尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
多终端 34份文件引用(2005–2022) 软件作者： 萨尔瓦多·卢卡斯 相关软件： AProVE；蒂罗尔；莫德… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）
tawSolver软件 12份文件引用(1962–2022) 软件作者： 坦比尔·艾哈迈德；奥利弗·库尔曼 相关软件： 数学检查；山猫；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
CSR5型 5份文件引用(2016–2023) 软件作者： 刘伟峰，布莱恩·温特 相关软件： 稀疏矩阵；yaSpMV；clSpMV… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LightSpMV公司 2份文件引用（2016年至2017年） 软件作者： Y.Liu、B.Schmidt 相关软件： 保管；CSR5；yaSpMV… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
Scikit网络 1份文件引用(2022) 软件作者： 托马斯·博纳尔德；内森·德拉拉；昆廷·卢茨；伯特兰·沙彭蒂埃 相关软件： 数字Py；SciPy；科内克… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…