白鲸 引用于29份文件（2010年至2022年） 软件作者： 布里吉特·皮恩特卡；约书亚·邓菲尔德 相关软件： Twelf；阿贝拉；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
贝德维尔 21篇文献引用(2007–2022) 软件作者： David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadathur、Alwen Tiu 相关软件： Twelf；阿贝拉；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
HOL-Omega餐厅 9份文件引用(2009–2019) 软件作者： 彼得·霍米埃（Peter V.Homeier）。 相关软件： HOL；伊莎贝尔；Coq… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
HMC公司 7份文件引用(2014–2021) 软件作者： Jhala，R.、Majumdar，R.和Rybalchenko，A。 相关软件： z3；垫片；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CRSX公司 引用于3份文件(2009–2011) 软件作者： 罗丝，K.H。；国际商用机器公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
特征CFA 引用于3份文件(2011–2012) 软件作者： 塔伦·帕布；Shreyas Ramalingam；马修，可能；霍尔，玛丽 相关软件： PETSc；CUDA；THORS… 主要字段： 计算机科学（68-XX）
派克特 2份文件引用(2015–2019) 软件作者： 斯宾塞·鲍曼；卡尔·弗里德里希·博尔兹（Carl Friedrich Bolz）；Robert Hirschfeld；瓦西里·基里切夫；佩佩，托拜厄斯；杰里米·西克（Jeremy G.Siek）。；萨姆·托宾·霍施塔特 相关软件： JavaScript；斯塔丹；RPython… 主要字段： 计算机科学（68-XX）
SXSLT公司 引用于3份文件(2002–2005) 软件作者： 奥列格·基塞利约夫（Oleg Kiselyov）；克里希那穆尔蒂，施里拉姆 相关软件： XPath；XQuery；Bigloo… 主要字段： 计算机科学（68-XX）