岩浆 4007文件引用(1994–2024) 软件作者： W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件： 间隙；SageMath；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
间隙 3685份文件引用(1990–2024) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环和代数（16-XX）…
PARI/GP公司 744份文件中引用(1992–2024) 软件作者： 亨利·科恩；卡里姆·贝拉巴斯（Karim Belabas）；PARI组 相关软件： 岩浆；SageMath；间隙… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
水獭 326篇文献引用（1988年-2023年） 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
汞 73篇文献引用(2009–2018) 软件作者： 梅耶，卢卡斯；Sara van de Geer；彼得·伯尔曼；曼纽尔·尤格斯特（Manuel Eugster）。。。 相关软件： 半标准杆；R；gss… 主要字段： 功能分析（46-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
阿斯毫升 45篇文献引用(2001–2023) 软件作者： 微软研究院；格里斯坎普，W。；古雷维奇·Y。 相关软件： 毫升；SpecExplorer；科拉特… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
IPSSIS公司 18篇文献引用(2011–2023) 软件作者： 西多纳斯（Xidonas）、帕纳吉奥蒂斯（Panagiotis）；乔治·马夫罗塔斯；佐普尼迪斯，君士坦丁；约翰·帕萨拉斯 相关软件： 电气；GTM；NBI… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SoDA公司 17篇文献引用(2004–2023) 软件作者： 约翰·钱伯斯。 相关软件： R；晶格；质量（R）… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
索西牌手表 8份文件引用(2014–2019) 软件作者： 保罗·达加（Paul T.Darga）；哈迪·卡特比；马克·利菲顿（Mark Liffiton）；伊戈尔·马尔科夫；卡伦·萨卡拉 相关软件： 极乐；鹦鹉螺；迷你卫星… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SymChaff公司 引用于8份文件(2007–2022) 软件作者： 阿什什·萨巴沃尔 相关软件： MiniSat；极乐；nauty… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ProxLOG传感器 1份文件引用（2022年） 软件作者： Dewei Zhang、Yin Liu、Sam Davanloo Tajbakhsh 相关软件： hierNet；glinternet；GitHub… 主要字段： 运筹学、数学规划（90-XX）