达夫尼 105篇文献引用(2010–2024) 软件作者： 鲁斯坦·莱诺 相关软件： z3；Why3；布吉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
HipSpec（髋关节规范） 引用于23份文件（2013年-2023年） 软件作者： 科恩·克莱森；穆阿·约翰逊（Moa Johansson）；丹·罗斯恩；尼古拉斯·斯莫尔博内 相关软件： IsaCoSy；VAMPIRE公司；CVC4… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）
泽诺 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
里昂 12份文件引用(2014–2022) 软件作者： 雷吉斯·布兰科；维克多·昆卡（Viktor Kuncak）；艾蒂安·克劳斯；菲利普·苏特 相关软件： CVC4；达夫尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
液化哈斯克尔 9份文件引用(2014–2024) 软件作者： 尼基·瓦祖；埃里克·塞德尔。；Jhala，Ranjit；Vytiniotis，Dimitrios；佩顿·琼斯，西蒙 相关软件： 哈斯克尔；z3；Dafny… 主要字段： 计算机科学（68-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
努恰库 4份文件引用(2016–2022) 软件作者： 安德鲁·雷诺兹；Jasmin Christian布兰切特；西蒙·克鲁恩斯（Simon Cruanes）；塞萨尔·蒂内利 相关软件： CVC4；z3；Nitpick… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RADA公司 4份文件引用(2015–2018) 软件作者： Pham，T.，Whalen，M.W。 相关软件： CVC4；z3；大锤… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）