NQTHM公司 149份文件引用(1979–2022) 软件作者： 罗伯特·博伊尔（Robert S.Boyer）。；J.Strother摩尔 相关软件： HOL；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；群论与推广（20-XX）…
PIN码NTK码 82份文件引用(2021–2024) 软件作者： 王思凡；于新玲；巴黎佩迪卡里斯 相关软件： 亚当；DeepXDE；DiffSharp… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
微型ML 58篇文献引用(2000–2023) 软件作者： 罗文·戴维斯（Rowan Davies）；弗兰克·芬宁 相关软件： Coq；毫升；佩斯卡… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
TVLA公司 33篇文献引用(2000–2022) 软件作者： 塔尔·列夫·阿米；穆利·萨吉夫 相关软件： ESC/Java；简化；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
洛拉 23篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等。 相关软件： 蒙保利；Java-MOP；LUSTRE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
游泳池 12份文件引用(1988–2005) 软件作者： 德波尔，F.S。 相关软件： Simula 67；Smalltalk；Ada95… 主要字段： 一般代数系统（08-XX）；计算机科学（68-XX）
FALCON公司 8份文件引用(1996–2022) 软件作者： 张，J。 相关软件： 梅斯4；MiniSat；ModGen… 主要字段： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
KeY-C公司 5份文件引用(2009–2023) 软件作者： 穆尔克，奥列格；拉尔森，丹尼尔；雷纳·哈内尔 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
j预测器 5份文件引用(2007–2018) 软件作者： Feng Chen、Traian Florin Serbanuta、Grigore Rošu 相关软件： 阿维奥；QuickLex；快速通道… 主要字段： 计算机科学（68-XX）
DynAlloy合金 2份文件引用(2007–2021) 软件作者： 马塞洛·弗里亚斯（Marcelo F.Frias）、胡安·加莱奥蒂（Juan P.Galeotti）、卡洛斯·洛佩斯·蓬博（Carlos López Pombo）、纳扎雷诺·阿吉雷（Nazareno Aguirre） 相关软件： MiniSat；JPF-SE；瑜伽士… 主要字段： 计算机科学（68-XX）
毫微微 2份文件引用(2003–2015) 软件作者： 克劳斯·霍利格（Klaus Höllig）、约格·霍纳（Jörg Hörner） 相关软件： – 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）
R-SATCHMO公司 2份文件引用(2004–2005) 软件作者： 何立峰；赵玉燕；伊藤秀内里 相关软件： SATCHMOREBID；I-SATCHMO；萨奇莫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ADG公司 2份文件引用(2019–2021) 软件作者： Enevoldsen，瑟伦；Larsen，Kim Guldstrand；吉·斯尔巴 相关软件： 塔帕尔；PRISM-游戏 主要字段： 计算机科学（68-XX）
肉汁 1份文件引用(2020) 软件作者： Arlt，S.、Rubio-González，C.、Rümmer，P.、Schäf，M.、Shankar，N。 相关软件： Rust2Viper；蝰蛇；SMACK… 主要字段： 计算机科学（68-XX）
霍尔巴 2份文件引用(2020–2022) 软件作者： 迪德里克·伦德伯格（Didrik Lundberg）；罗伯特·瓜夏莱（Roberto Guanciale）；安德烈亚斯·林德纳；达姆，麦兹 相关软件： RGITL；达夫尼；GNAT证明… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
PPlan（PPlan） 2份文件引用(2011–2020) 软件作者： Bienvenu，M。；弗里茨，C。；Sohrabi，S。；南卡罗来纳州麦克莱思。 相关软件： MiniSat；nuXmv；Walksat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
路由库 2份文件引用(2018–2020) 软件作者： 兰·兹米格罗德；马修·达吉特（Matthew L.Daggitt）。；蒂莫西·格里芬。 相关软件： 阿格达；github 主要字段： 计算机科学（68-XX）
布拉加方法 1份文件引用(2022) 软件作者： 多米尼克·拉切·温德林（Dominique Larchey-Wendling）；Jean-François莫宁 相关软件： OCaml；CompCert；Coq公司 主要字段： 计算机科学（68-XX）
QuIt公司 1份文件引用(2018) 软件作者： 格雷斯，伯恩哈德；劳拉·科瓦奇（Laura Kovács）；西蒙·罗比拉德 相关软件： VAMPIRE公司；InvGen；CVC4… 主要字段： 计算机科学（68-XX）