名义伊莎贝尔 82份文件引用(2005–2023) 软件作者： 城市，基督教；塞萨里·卡利西克 相关软件： Isabelle/HOL；流行标志；Coq… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Freshml公司 在48份文件中引用(2003–2021) 软件作者： M.R.Shinwell、A.M.Pitts、M.Gabbay。 相关软件： Coq；名义上的伊莎贝尔；Twelf… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
自动停靠 22篇文献引用(2004–2019) 软件作者： 斯克里普斯研究所；莫里斯，G.M。；休伊，R。；Lindstrom，W。；桑纳，M.F。；Belew，R.K。；Goodsell，D.S。；奥尔森，A.J。 相关软件： 奇美拉；码头；ParaDisEO… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
白鲸 29篇文献引用(2010–2022) 软件作者： 布里吉特·皮恩特卡；约书亚·邓菲尔德 相关软件： Twelf；阿贝拉；Coq… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
贝德维尔 21篇文献引用(2007–2022) 软件作者： David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadatur、Alwen Tiu 相关软件： Twelf；阿贝拉；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
BlenX公司 19份文件引用(2008–2020) 软件作者： 洛伦佐·德马特；科拉多·普里亚米；亚历山德罗·罗曼内尔 相关软件： 生物-PEPA；棱镜；政治公众人物协议… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Psi结石 12份文件引用(2009–2021) 软件作者： 杰斯珀·本特森 相关软件： 名义上的伊莎贝尔；Isabelle/HOL；Twelf… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Liquid Haskell公司 9份文件引用(2014–2024) 软件作者： 尼基·瓦祖；埃里克·塞德尔。；Jhala，Ranjit；Vytiniotis，Dimitrios；西蒙·佩顿·琼斯 相关软件： 哈斯克尔；z3；Dafny… 主要字段： 计算机科学（68-XX）
自动变电站 8份文件引用(2015–2024) 软件作者： S.Schäfer、T.Tebbi、G.Smolka 相关软件： Coq；github；流行标记… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
新鲜OCaml 8份文件引用(2006–2022) 软件作者： M.Shinwell、A.Pitts 相关软件： Freshml；名义上的伊莎贝尔；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
西比尔 6篇文献引用(2010–2020) 软件作者： 塞里托、塞雷内拉；玛尔塔·恰尔迪亚·梅耶 相关软件： 斯巴达克斯；HyLoTab；HTab… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
未绑定 4份文件引用(2011–2019) 软件作者： 斯蒂芬妮·威里奇；布伦特·A·约基。；蒂姆·谢尔德 相关软件： Isabelle/HOL；Psi结石；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ProPred公司 1份文件引用(2019) 软件作者： 哈普雷特·辛格（Harpreet Singh），G.P.S.Raghava 相关软件： 肌肉；AutoDock Vina；AMPL公司 主要字段： 生物学和其他自然科学（92-XX）
PeptX公司 在0个文档中引用 软件作者： Bernhard Knapp、Verena Giczi、Reiner Ribarics、Wolfgang Schreiner 相关软件： SMS-EMOA；SPEA2；Web徽标 主要字段： ——
NetMHCIIpan公司 1份文件引用(2014) 软件作者： M.Nielsen、S.Justesen、O.Lund、C.Lunegaard、S.Buus 相关软件： —— 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
名义2 1份文件引用（2018年） 软件作者： Christian Urban、Stefan Berghofer、Cezary Kaliszyk 相关软件： 哈斯克尔表演班；CakeML_Codegen；存档正式证据… 主要字段： 计算机科学（68-XX）