上颚虎 47篇文献引用(2007–2023) 软件作者： Behrmann，G.、Cougnard，A.、David，A.、Fleury，E.、Larsen，K.G.、Lime，D。 相关软件： Uppaal公司；棱镜；Synthia… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
垫片 30篇文献引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
蚱蜢 14篇文献引用(2015–2023) 软件作者： R.Piskac、T.Wies和D.Zufferey 相关软件： 达夫尼；VeriFast；毒蛇… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
自动写入 8份文件引用(2002–2014) 软件作者： 艾琳·杜兰德 相关软件： MONA；数据日志；Treewidthlib… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
克里普克 8份文件引用（1980年-2005年） 软件作者： 迈克尔·麦克罗比（Michael A.McRobbie）。；Thistlewaite，Paul B。；罗伯特·梅耶（Robert K.Meyer）。 相关软件： TABLEAUX公司；GLE抑制素 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
SPeeDI公司 7份文件引用（2002年至2017年） 软件作者： 细辛，尤金；佩斯，戈登；杰拉尔多·施奈德；塞尔吉奥·尤文 相关软件： GSPeeDI；高科技；ParaPlan… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
细胞模拟 4份文件引用(2008–2014) 软件作者： 肖恩·塞德瓦兹（Sean Sedwards）、托马索·马扎（Tommaso Mazza） 相关软件： BlenX；COPASI；生物-PEPA 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CoqMTU公司 4份文件引用(2013–2020) 软件作者： 布鲁诺·巴拉斯（Bruno Barras）、珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud）、皮埃尔·伊夫·斯特鲁布（Pierre-Yves Strub）、钱旺（Qian Wang） 相关软件： CoqMT；Coq；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DReX公司 4份文件引用(2015–2022) 软件作者： 拉杰夫·阿鲁尔；Loris D'Antoni；穆昆德·拉戈塔曼 相关软件： 蒙保利；卢斯特；LOLA… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
FMona公司 3份文件引用(2000–2021) 软件作者： Bodeveix，J.-P。；M·菲拉利。 相关软件： MONA；反链；臀部… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MLAT公司 3份文件引用(1993–2008) 软件作者： Sekizawa、Toshifusa；田边、吉诺里；Yuasa、Yoshifumi；高桥，Koichi 相关软件： 爆破；Kaskade7；PLTMG公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
坎比 2份文件引用(2017–2019) 软件作者： Akhilesh Srikanth；Burak Sahin；威廉·R·哈里斯。 相关软件： 石笼SCC；CAVA LTL模型检查器；Coq… 主要字段： 计算机科学（68-XX）