冲锋！ 10篇文献引用(2012–2021) 软件作者： 杰斯珀·本特森；Jonas Braband Jensen；拉尔斯·比克达尔 相关软件： 辅酶q；工具链；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
摊销复杂性 8份文件引用(2015–2021) 软件作者： 托比亚斯·尼普科 相关软件： Isabelle/HOL；存档正式证据；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Crowfoot公司 5份文件引用(2011–2015) 软件作者： 纳撒尼尔·查尔顿；本·霍斯福尔（Ben Horsfall）；罗伊斯，伯恩哈德 相关软件： 小脚；VeriFast；jStar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OSeMOSYS公司 2份文件引用(2020–2021) 软件作者： Howells M.、Rogner H.、Strachan N.、Heaps C.、Huntington H.、Kypreos S.、Hughes A.、Silveira S.、DeCarolis J.、Bazillian M.等人。 相关软件： 皮普萨；马卡尔；Calliope… 主要字段： 运筹学、数学规划（90-XX）
MLAT公司 3份文件引用(1993–2008) 软件作者： Sekizawa、Toshifusa；田边、吉诺里；Yuasa、Yoshifumi；高桥，Koichi 相关软件： 爆炸；Kaskade7；PLTMG公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
接线盒 1份文件引用(2017) 软件作者： Jan Schäfer，Arnd Poetzsch-Heffter 相关软件： ArchJava；JavAdaptor；JCobox… 主要字段： 计算机科学（68-XX）
蜉蝣 2份文件引用(2009–2011) 软件作者： 杰里米·西克（Jeremy G.Siek）、安德鲁·卢姆斯代恩（Andrew Lumsdaine） 相关软件： STL；libstdc++；CodeBoost… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
PCM库 2份文件引用(2020) 软件作者： Nanevski，A.、Ley-Wild，R.、Sergey，I.、Delbianco，G.、Trunov，A 相关软件： GitHub；精益；Coq… 主要字段： 计算机科学（68-XX）
PMTK公司 在0个文档中引用 软件作者： Berti A、Li CY、Schuster D、van Zelst SJ、Fraunhofer FIT 相关软件： 迪斯科；正式舞会；Python… 主要字段： –