z3（零3） 761份文件引用(2001–2024) 软件作者： 微软研究；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Yices公司 168篇文献引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
公主 在30份文件中引用(2010–2023) 软件作者： Angelo Brillout、Daniel Kroening、Philipp Rümmer、Thomas Wahl 相关软件： FOCI；z3；Eldarica… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
LPL软件 20篇文献引用(2000–2023) 软件作者： 戴夫·巴克尔-普卢默、乔恩·巴维斯、约翰·埃切曼迪；Albert Liu、Michael Murray、Emma Pease 相关软件： EPGY；减少；OTTER… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
AQCS（质量控制系统） 15篇文献引用(2000–2023) 软件作者： 南拉施恩 相关软件： QEPCAD；IbexOpt；数值… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；数值分析（65-XX）…
HQPre公司 在13份文件中引用(2018–2022) 软件作者： Wimmer，R.、Reimer，S.、Marin，P.、Becker，B。 相关软件： CAQE；DepQBF；dCAQE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MYSTIQ公司 6篇文献引用(2007–2021) 软件作者： Boulos，J。；Dalvi，N.N。；Mandhani，B。；马图尔，S。；关于C。；苏西乌（D.Suciu）。 相关软件： 三重奏；ProbView；MayBMS… 主要字段： 计算机科学（68-XX）
f2低压 10篇文献引用（2011年-2023年） 软件作者： Lee，J.、Palla，R。 相关软件： CCalc；Cplus2ASP；Coala… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SEQUEL公司 4份文件引用（1980年至2018年） 软件作者： 张伯林，D.D.，博伊斯，R.F。 相关软件： iSPARQL；github；EvoOnt… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
AIG解决方案 2份文件引用(2017–2019) 软件作者： Scholl，C.，Pigorsch，F。 相关软件： CAQE；RAReQS；QESTO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CGSQE公司 2份文件引用(2016–2019) 软件作者： 藤崎隆彦；伊瓦内、希德诺；佐藤、优介 相关软件： REDLOG；QEPCAD；PGB… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；计算机科学（68-XX）
DDDLIB公司 2份文件引用(2002–2023) 软件作者： Jesper B.M\o ller。 相关软件： 存档正式证据；github；OCaml… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
福克斯公共安全实验室 1份文件引用(2017) 软件作者： Sara Magliabane；菲利普·斯图茨（Philip Stutz）；保罗·格罗斯；亚伯拉罕·伯恩斯坦 相关软件： 索赔评估；HyPER；博客… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
QuIt公司 1份文件引用(2018) 软件作者： 格雷斯，伯恩哈德；劳拉·科瓦奇（Laura Kovács）；罗比拉德，西蒙 相关软件： VAMPIRE公司；InvGen；CVC4… 主要字段： 计算机科学（68-XX）
统计比较 在0个文档中引用 软件作者： 塞巴斯蒂安·西佩尔（Sebastian Sippel）、霍尔格·兰格（Holger Lange）、费边·甘斯（Fabian Gans） 相关软件： – 主要字段： –