切布冯 524份文件引用(2004–2024) 软件作者： Chebfun团队；A Driscoll，N.Hale，L.N.Trefethen 相关软件： Matlab；DLMF；Chebfun2… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
NQTHM公司 149份文件引用(1979–2022) 软件作者： 罗伯特·S·博伊尔。；J.Strother摩尔 相关软件： HOL；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；群论与推广（20-XX）…
RcppArmadillo公司 70篇文献引用(2012–2023) 软件作者： 罗曼·弗朗索瓦（Romain Francois）、德克·埃德布特尔（Dirk Eddelbuettel）、道格·贝茨（Doug Bates） 相关软件： R；卢比；犰狳… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森斯 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
快速GCN 18篇文献引用（2020年-2023年） 软件作者： 陈杰、马腾飞、曹晓 相关软件： DeepWalk；亚当；PyTorch… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
加拉蒙 11份文件引用（2019年-2023年） 软件作者： 圣菲省布雷伊斯；文森特·诺齐克；福斯，劳伦特 相关软件： ganja.js；github；Clifford Multivector工具箱… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）…
AURA公司 10篇文献引用(2008–2016) 软件作者： 贾利民；杰弗里·沃恩（Jeffrey A.Vaughan）。；Karl Mazurak；赵建洲；卢克·扎尔科；约瑟夫·肖尔（Joseph Schorr）；史蒂夫·兹丹塞维奇 相关软件： Coq；F*；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PREVAIL公司 5份文件引用(1992–2014) 软件作者： 多米尼克·博里奥内；劳伦斯·皮埃尔；阿什拉夫·塞勒姆 相关软件： Nuprl；CoqMTU；Coquet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ROBDD公司 5份文件引用(1992–2003) 软件作者： Brace，K.S。；Rundell，R.L。；Bryant，R.E。 相关软件： NQTHM公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TS公司# 2份文件引用(2014–2017) 软件作者： 尼基尔·斯瓦米；Fornet，塞德里克；拉斯托吉，阿塞姆；卡尔蒂基扬·巴尔干；Chen，Juan；支柱，Pierre-Yves；加文·比尔曼 相关软件： JavaScript；ProVerify；网址（Ur/Web）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）