Nuprl公司 418份文件引用(1986–2023) 软件作者： R.L.Constable、S.F.Allen、H.M.Bromley、W.R.Cleaveland、J.F.Cremer、R.W.Harper、D.J.Howe、T.B.Knoblock、N.P.Mendler、P.Panangaden、J.T.Sasaki、S.F Smith 相关软件： Coq；HOL；自动数学… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
CCalc公司 77份文件引用(2003–2023) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；Lee，Joohyung；弗拉基米尔·利夫希茨；诺曼·麦凯恩；哈德森·特纳 相关软件： 平滑；考拉；高尔夫… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
QUBE公司 26篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿尔曼多·塔切拉 相关软件： QuBE++；Quaffle；箔条… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
亚帕 18篇文献引用(2009–2020) 软件作者： 马修·波德特；Cortier，Véronique公司；斯特凡尼德劳恩 相关软件： AVISPA；阿克斯；Maude-NPA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DLog（数据日志） 8份文件引用(2008–2020) 软件作者： 格格利·卢卡西（Gergely Lukácsy）；佩特尔·塞雷迪 相关软件： 精益TAP；颗粒；接通DLV… 主要字段： 计算机科学（68-XX）
MSTA公司 引用于7份文件(2009–2023) 软件作者： D'ippolito，N。；Fischbein，D。；Chechik，M。；乌奇特尔，S。 相关软件： VMC；MIO工作台；LTSA-WS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
RacerPro赛车 引用于7份文件(2014–2022) 软件作者： Haarslev，V.、Hidde，K.、Möller，R.、Wessel，M。 相关软件： 赫密特；赛车手；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
罗索·克林戈 5份文件引用(2015–2021) 软件作者： 本杰明·安德烈斯；戴维·拉贾拉特南；奥昆特Sabunu；托尔斯滕·绍布 相关软件： 克林戈；克林孔；WASP… 主要字段： 计算机科学（68-XX）
认识逻辑 4份文件引用(2020–2021) 软件作者： 阿斯塔·哈尔克 相关软件： 存档正式证据；Isabelle/HOL；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
QBFEVAL公司 3份文件引用（2009年至2019年） 软件作者： Narizzano，M.，Pulina，L.，Taccella，A。 相关软件： RAReQS；QESTO；semprop… 主要字段： 计算机科学（68-XX）
辛提卡的世界 3份文件引用(2020–2023) 软件作者： 弗朗索瓦·施瓦岑特鲁伯 相关软件： CacBDD；SMCDEL公司；CUDD… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
KagNet公司 3份文件引用(2020–2023) 软件作者： Bill Yuchen Lin、Xinyue Chen、Jamin Chen、Xiang Ren 相关软件： GPT-3；Tensor2传感器；BERT… 主要字段： 计算机科学（68-XX）
CoCLAM公司 2份文件引用(2000–2012) 软件作者： 洛杉矶丹尼斯。；A.邦迪。；我是格林。 相关软件： 牡蛎；欧米茄；蛤蜊… 主要字段： 阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
MC测试 1份文件引用(2020) 软件作者： Matthew Richardson、Christopher J.C.Burges、Erin Renshaw 相关软件： VQA；ImageNet；CIDEr… 主要字段： 计算机科学（68-XX）
LAIMA公司 1份文件引用(2006) 软件作者： Padget，J.A.、De Vos，M.、Crick，T.、Brain，M.和Cliffe，O.、Needham，J。 相关软件： 干杯；德纳利；芦笋… 主要字段： 计算机科学（68-XX）
百万铝 1份文件引用(2013) 软件作者： 奇塔·巴拉尔；格雷戈里·盖尔丰德（Gregory Gelfond）；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao 相关软件： – 主要字段： 计算机科学（68-XX）
PIQA公司 在0个文档中引用 软件作者： Yonatan Bisk、Rowan Zellers、Ronan Le Bras、Jianfeng Gao、Yejin Choi 相关软件： RoBERTa公司；种族；OpenAI健身房… 主要字段： –
RCDC公司 1份文件引用(2013) 软件作者： Navarrete，I.、Morales，A.、Sciavicco，G.、Cardenas，M。 相关软件： XPath（XPath） 主要字段： 计算机科学（68-XX）