HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： 辅酶q；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning）、习宏伟（Hongwei Xi） 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
轻量级Java 108篇文献引用(2001–2023) 软件作者： Atsushi Igarashi；本杰明·皮尔斯（Benjamin C.Pierce）。；菲利普·沃德勒 相关软件： JML；毫升；艾菲尔… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
萨塔拉克 67篇文献引用(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
超防（Hyperproof） 引用于27份文件(1994–2022) 软件作者： Jon Barwise、John Etchemendy 相关软件： Speedith；伊莎贝尔；嘟嘟博士… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
LoTREC公司 29篇文献引用(2001–2023) 软件作者： 奥利维尔·盖斯克特（Olivier Gasquet）；安德烈亚斯·赫齐格（Andreas Herzig）；多米尼克·朗金；穆罕默德·萨哈德 相关软件： PVS；SPASS；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
MTT公司 引用于27份文件(2008–2023) 软件作者： Durán，F.，Lucas，S.，Meseguer，J。 相关软件： 莫德；AProVE；OBJ3… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
迪杜克蒂 24篇文献引用(2012–2023) 软件作者： 马修·博埃斯弗鲁格（Mathieu Boespflug）、罗南·塞拉德（Ronan Saillard）、弗朗索瓦·瑟雷（François Thiré）、加斯帕德·弗雷（Gaspard Férey） 相关软件： 辅酶q；泽农；HOL灯… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
贝德维尔 21篇文献引用(2007–2022) 软件作者： David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadatur、Alwen Tiu 相关软件： Twelf；阿贝拉；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PolyTOIL公司 19份文件引用(1997–2014) 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 相关软件： 羽量级Java；艾菲尔铁塔；测试版… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
加罗 17篇文献引用(2000–2011) 软件作者： 范德霍克，W。；Meyer，J.-J.Ch。；范·沙根，J.W。 相关软件： 代理峰值；3APL；METATEM… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
ArcAngel公司 14篇文献引用(2003–2023) 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；安娜·卡瓦尔坎蒂；吉姆·伍德科克 相关软件： 马戏团；Z；电源保护… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；苏恩，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
D装货商 12份文件引用（2009年-2023年） 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 相关软件： 莫德；阿尼玛；Web-TLR… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
伊莎贝尔/马戏团 12份文件引用(2013–2017) 软件作者： Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff 相关软件： Isabelle/HOL；电源保护；伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
几何导师 4份文件引用(1986–2007) 软件作者： Anderson，J.R.、Boyle，C.F.、Yost，G。 相关软件： 门托尼耶；巴赫拉；CHYPRE… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
TAS公司 在11份文件中引用(1994–2006) 软件作者： 克里斯托夫·吕斯；伯克哈特·沃尔夫 相关软件： IsaWin；伊莎贝尔；数字（amp；N）… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
Speedith公司 9份文件引用(2012–2019) 软件作者： Urbas，M.、Jamnik，M.，Stapleton，G.、Flower，J。 相关软件： 超防；伊莎贝尔；迪亚贝利… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
隐秘HOL 9份文件引用(2017–2022) 软件作者： Basin，D.，Lochbihler，A.，Sefidgar，S.R。 相关软件： Isabelle/HOL；存档正式证据；HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
VIPR公司 8份文件引用(2017–2023) 软件作者： Kevin K.H.Cheung、Ambros Gleixner、Daniel E.Steffy 相关软件： SCIP；MIPLIB公司；DRAT-饰件… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
塔克 7份文件引用(2007–2012) 软件作者： 大卫·巴尔德（David Baelde）；戴尔·米勒；斯诺，扎卡里 相关软件： 阿贝拉；贝德维尔；Twelf… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
临床 4份文件引用(1994–2017) 软件作者： Chu，H.，Plaisted，D.A.，理论博物馆 相关软件： iProver；E-Darvin；达尔文… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
拉尔夫 6篇文献引用(1997–2014) 软件作者： 克劳迪娅·哈登斯珀格、鲁道夫·伯哈默、冈特·施密特 相关软件： RALL；RelView；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
CTL-RP公司 5份文件引用(2010–2021) 软件作者： 张澜；乌尔里希·赫斯塔特；克莱尔·狄克逊 相关软件： SPASS；TRP++；TeMP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
EPGY公司 引用于3份文件(2001–2020) 软件作者： 理查德·索默；格雷戈里·努科尔斯 相关软件： LPL软件；减少；OTTER… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
库莫 5份文件引用(1999–2004) 软件作者： 约瑟夫·戈根（Joseph Goguen）、凯·林（Kai Lin）、格里戈·罗苏（Grigore Rosu）、博格丹·瓦林斯基（Bogdan Warinschi） 相关软件： OBJ咖啡馆；团结；OBJ3型 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
普赛克 5份文件引用(2013–2020) 软件作者： 圣菲省格拉汉·伦格兰德 相关软件： 伊莎贝尔；直觉；ILTP… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
摘要完整性 4份文件引用(2014–2018) 软件作者： 贾斯敏·克里斯蒂安·布兰切特；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；存档正式证据；FOL配件… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
行波管 引用于3份文件(2009–2019) 软件作者： 彼得罗·阿巴特；拉杰夫·戈雷 相关软件： LoTREC公司；MSPASS；SableCC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
PVSio公司 引用于3份文件(2007–2015) 软件作者： 塞萨尔·穆尼奥斯 相关软件： PVS；辅酶q；MetiTarski… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
琥珀色 2份文件引用(2022) 软件作者： 马塞尔·穆斯布鲁克；埃齐奥·巴托西；Joost-Pieter Katoen；劳拉·科瓦奇 相关软件： 依赖；SymPy；哈卡鲁… 主要字段： 计算机科学（68-XX）
尤奥迪洛斯 2份文件引用(1989–1998) 软件作者： Toshiro Minami；Hajime Sawamura；恭子筑屋 相关软件： HOL；伊莎贝尔 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
杰克洛伊 1份文件引用(2012) 软件作者： Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件： 雅典娜；凯洛伊；KeY… 主要字段： 计算机科学（68-XX）
辅助验证程序 2份文件引用(2015–2018) 软件作者： 李永坚；Pang，Jun；吕毅；范东瑞；曹、申；段凯强 相关软件： 小卧室；Isabelle/HOL；伊莎贝尔 主要字段： 计算机科学（68-XX）
校对作者 在0个文档中引用 软件作者： Oyvind Tafjord、Bhavana Dalvi Mishra、Peter Clark 相关软件： 变压器；规则制定者；BLEURT… 主要字段： 数学逻辑与基础（03-XX）
特征CbC 2份文件引用(2022–2023) 软件作者： 伦格，托拜厄斯；亚历克斯·波坦；托马斯·图姆；伊娜·谢弗 相关软件： 自动校对；JML；艾菲尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
迪兹克斯 1份文件引用(2023) 软件作者： 波奥尔，博尔迪扎尔；罗伯特一世·布斯。；Carette，Titouan；约翰·范德韦特林（John van de Wetering）；是的，Lia 相关软件： PyZX；蟒蛇 主要字段： 量子理论（81-XX）
SDN-OpenFlowBackupRules 在0个文档中引用 软件作者： Niels L.M.van Adrichem、Farabi Iqbal、Fernando A.Kuipers 相关软件： —— 主要字段： ——