电子邮件 12份文件引用(2013–2021) 软件作者： 丹尼尔·库尔温（Daniel Kühlwein）；斯蒂芬·舒尔茨（Stephan Schulz）；约瑟夫·乌尔班 相关软件： E定理证明器；VAMPIRE公司；玛拉雷亚… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
风险投资 8份文件引用(2016–2018) 软件作者： 维卡什·曼辛加、丹尼尔·塞尔萨姆、尤拉·佩罗夫 相关软件： 教会；斯坦；错误… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
MLJ公司 1份文件引用(2023) 软件作者： 安东尼·布莱姆；弗兰兹·基拉利（Franz Kiraly）；Thibaut Lienart；塞巴斯蒂安·沃尔默；阿兰·图灵研究所 相关软件： 朱莉娅；通量；Scikit… 主要字段： 计算机科学（68-XX）
CADbot 7份文件引用(2020–2023) 软件作者： 萨恩多·费科特。；罗伯特·格梅尔（Robert Gmyr）；萨布丽娜·雨果；菲利普·凯尔德尼奇；谢弗（Christian Scheffer）；阿恩·施密特 相关软件： AmoebotSim公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
表格/3 2份文件引用(2001–2020) 软件作者： 玛格丽特·伯内特；约翰·阿特伍德（John Atwood）；Djang、Rebecca Walpole；詹姆斯·雷奇温（James Reichwein）；Herkimer Gottfried；杨雪莉 相关软件： VTK；Gencel；超级对撞机… 主要字段： 计算机科学（68-XX）
coq指数-不确定性 2份文件引用(2020–2023) 软件作者： Forster，Y.、Larchey-Wendling，D.、Dudenhefner，A.、Heiter，E.、Kirst，D.、Kunze，F.、Smolka，G.、Spies，S.、Wehr，D.、Wuttke，M。 相关软件： Autosubst；Coq；GitHub… 主要字段： 计算机科学（68-XX）
奎因 2份文件引用(2013–2019) 软件作者： Ran Canetti；本·里瓦；Guy N.罗斯布卢姆。 相关软件： 皮埃姆；闪烁；动态安装 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）