常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
AURA公司 10篇文献引用(2008–2016) 软件作者： 贾利民；杰弗里·沃恩（Jeffrey A.Vaughan）。；Karl Mazurak；赵建洲；卢克·扎尔科；约瑟夫·肖尔（Joseph Schorr）；史蒂夫·兹丹塞维奇 相关软件： Coq；F*；Agda… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SPeeDI公司 7份文件引用(2002–2017) 软件作者： 细辛，尤金；佩斯，戈登；杰拉尔多·施耐德；塞尔吉奥·尤文 相关软件： GSPeeDI公司；高科技；ParaPlan… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
格拉尔 6篇文献引用(2017–2022) 软件作者： Jean-François Baget；米歇尔·莱克莱尔；玛丽·劳雷·穆格尼尔（Marie-Laure Mugnier）；Swan Rocher；Clément Sipieter公司 相关软件： LUBM；SPARQL；DBpedia… 主要字段： 计算机科学（68-XX）
CoqMTU公司 4份文件引用(2013–2020) 软件作者： 布鲁诺·巴拉斯（Bruno Barras）、珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud）、皮埃尔·伊夫·斯特鲁布（Pierre-Yves Strub）、钱旺（Qian Wang） 相关软件： CoqMT；Coq；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TeSSLa公司 4份文件引用(2018–2022) 软件作者： 卢卡斯修道院；塞巴斯蒂安·亨格瑞克；Martin Leucker；托本·谢菲尔；施密茨，马尔特；丹尼尔·托马 相关软件： LOLA；蒙保利；副驾驶… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
BFComp公司 引用于3份文件(2015–2019) 软件作者： 阿比谢克·穆尔西；伊斯兰，马里兰州Ariful；斯科特·斯莫尔卡（Scott A.Smolka）。；拉杜·格罗苏 相关软件： dReal；d范围；SReach… 主要字段： 常微分方程（34-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
单子 引用于3份文件(2014–2021) 软件作者： 亚历山大·凯撒；Daniel Kroening；托马斯·沃尔 相关软件： ACL2；veriSoft；SAS… 主要字段： 计算机科学（68-XX）
SOL公司 引用于3份文件(2019–2022) 软件作者： 马科托·哈马纳 相关软件： Coq；哈斯克尔；咖啡OBJ… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
coq库的不可判定性 2份文件引用(2020–2023) 软件作者： Forster，Y.、Larchey-Wendling，D.、Dudenhefner，A.、Heiter，E.、Kirst，D.、Kunze，F.、Smolka，G.、Spies，S.、Wehr，D.、Wuttke，M。 相关软件： Autosubst；github；Coq… 主要字段： 计算机科学（68-XX）
乔夫 1份文件引用(2019) 软件作者： 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 相关软件： 朱庇特；蟒蛇 主要字段： 计算机科学（68-XX）
欧米茄++ 1份文件引用(2015) 软件作者： 阿桑卡亚·夏尔马；王胜毅；安德烈亚科斯蒂亚；阿奎那·霍伯；魏恩根·钦 相关软件： HIP；Isabelle/HOL；Coq公司 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SPASS-AR公司 1份文件引用(2020) 软件作者： 安德烈亚斯·提克；克里斯托夫·韦登巴赫 相关软件： 阿凡达；雅高；iProver… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）