毫升 516份文件引用(1978–2024) 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 相关软件： HOL；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
SPASS公司 204篇文献引用(1996–2023) 软件作者： C Weidenbach、U Brahm、T Hillenbrand 相关软件： 吸血鬼；TPTP；E定理证明器… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
AProVE公司 171篇文献引用(2002–2023) 软件作者： Jürgen Giesl、Peter Schneider-Kamp、RenéThiemann 相关软件： 蒂罗尔；多终端；莫德… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…
低成本融资 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： Coq；毫升；HOL… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-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）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
萨塔拉克 67篇文献引用（2010年-2023年） 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
CoLoR公司 40篇文献引用(2006–2022) 软件作者： F.Blanqui、W.Delobel、S.Coupet-Grimal、S.Hinderer、A.Koprowski 相关软件： Coq；Isabelle/HOL；CeTA… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
EasyCrypt公司 36篇文献引用(2011–2022) 软件作者： 吉尔·巴特；本杰明·格雷戈里；希尔万，赫拉德；贝盖林，圣地亚哥·扎内拉 相关软件： Coq；Isabelle/HOL；F*… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
HIP（热等静压） 33篇文献引用(2007–2023) 软件作者： 魏恩根；Huu Hai Nguyen；克里斯蒂娜·戴维；克里斯蒂安·吉尔吉纳（Cristian Gherghina）；Quang Loc Le；Ton-Chanh Le；阿桑卡亚·夏尔马 相关软件： 小脚；VeriFast；幻灯片… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
HOLyHammer公司 31份文件引用(2014–2022) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： HOL灯；吸血鬼；E定理证明器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
地质厚度 26篇文献引用(2006–2023) 软件作者： 佩德罗·夸雷斯马；Predrag Janić 相关软件： GCL校准仪；GCLC；GeoGebra… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；计算机科学（68-XX）…
MetaPRL公司 26篇文献引用(2000–2022) 软件作者： 杰森·希基（Jason Hickey）、亚历克谢·诺金（Alexey Nogin）、埃利·巴兹雷（Eli Barzilay） 相关软件： Coq；Nuprl；PVS… 主要字段： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
迪杜克蒂 24篇文献引用(2012–2023) 软件作者： 马修·博埃斯弗鲁格（Mathieu Boespflug）、罗南·塞拉德（Ronan Saillard）、弗朗索瓦·瑟雷（François Thiré）、加斯帕德·弗雷（Gaspard Férey） 相关软件： Coq；泽农；HOL灯… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
火柴盒 24篇文献引用(2005–2023) 软件作者： J·沃尔德曼。 相关软件： AProVE；蒂罗尔；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
泽农 21篇文献引用(2007–2022) 软件作者： 理查德·博尼肯（Richard Bonichon）；戴维·德拉哈耶（David Delahaye）；Damien Doligez 相关软件： Coq；TPTP；dedukti… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
狮子座III 21篇文献引用(2015–2023) 软件作者： 亚历山大·斯蒂恩（Alexander Steen）；马克斯·维斯涅夫斯基（Max Wisniewski）；克里斯托夫·本兹穆勒 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
数学网 16篇文献引用(2000–2016) 软件作者： 杰根·齐默；迈克尔·科尔哈斯 相关软件： TPTP；水獭；PVS… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；常微分方程（34-XX）…
MizarMode（米扎尔模式） 18篇文献引用（2006年至2019年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
菲亚特 17篇文献引用（2015年至2022年） 软件作者： Delaware，B.，Claudel，C.P.，Gross，J.，Chlipala，A。 相关软件： Coq；Isabelle/HOL；CertiCoq… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
MleanCoP公司 16篇文献引用(2014–2023) 软件作者： 延斯·奥滕 相关软件： TPTP；QMLTP；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
那不勒斯 14篇文献引用（2010年至2021年） 软件作者： Cramer，M.，Koepke，P.，Schröder，B。 相关软件： 米扎尔；对于TheL；苍蝇斑点… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
SAD公司 15篇文献引用(2004–2021) 软件作者： 藜芦碱、康斯坦丁；亚历山大·利亚列茨基（Alexander Lyaletski）；安德烈·帕斯科维奇 相关软件： 米扎尔；对于TheL；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
BliStrTune 14篇文献引用(2017–2023) 软件作者： Josef Urban的Jan Jakubuv 相关软件： E定理证明器；吸血鬼；BliStr… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；几何（51-XX）…
HOL布吉 14篇文献引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.Rustan M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SRASS公司 12份文件引用(2007–2019) 软件作者： Geoff Sutcliffe；尤里·普齐斯 相关软件： E定理证明器；TPTP；玛拉雷亚… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
冰流 在11份文件中引用(2014–2023) 软件作者： 丹尼尔·马提库克（Daniel Matichuk）；马卡里乌斯·温泽尔；托比·默里 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
洛伊 9份文件引用(2002–2021) 软件作者： J.Siekmann、S.Hess、C.Benzmüller、L.Cheikhrouhou、A.Fiedler、H.Horacek、M.Kohlhase、K.Konrad、A.Meier、E.Melis、M.Pollet、V.Sorge 相关软件： TPTP；Coq；PVS… 主要字段： 数理逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
GAPT公司 10篇文献引用(2013–2021) 软件作者： 埃布纳，G。；Hetzl，S。；Reis，G。；里纳，M。；Wolfsteiner，S。；齐沃塔，S。 相关软件： TPTP；校对工具；CERES… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
HOList公司 10篇文献引用(2020–2023) 软件作者： 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件： 谜；E定理证明器；FEMaLeCoP… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
KITTeL公司 10篇文献引用(2011–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；卡普尔，迪帕克；卡斯滕·辛兹 相关软件： z3；控制；Yices… 主要字段： 计算机科学（68-XX）
战术脚趾 10篇文献引用(2017–2021) 软件作者： Gauthier，T.、Kaliszyk，C.、Urban，J。 相关软件： E定理证明器；谜；MaLeCoP… 主要字段： 计算机科学（68-XX）
TcT公司 10篇文献引用(2016–2021) 软件作者： Avanzini，M.、Moser，G.、Schaper，M。 相关软件： AProVE；z3；TiML… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
A3PAT飞机 9份文件引用（2010年-2023年） 软件作者： Contejean，E.，Paskevich，A.，Urbain，X.，Courtieu，P.，Pons，O.，Forest，J。 相关软件： Isabelle/HOL；Coq；CoLoR… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
圣杯 8份文件引用(2010–2022) 软件作者： R.模拟。 相关软件： CatLog3；洛利；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SEPIA公司 9份文件引用(2015–2023) 软件作者： Gransden，T.、Walkinshaw，N.、Raman，R。 相关软件： E定理证明器；FEMaLeCoP；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；博勒，布兰登；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
CITP公司 8份文件引用(2013–2023) 软件作者： 戈因纳，丹尼尔；张敏；千叶，Yuki；有本，安仁 相关软件： 莫德；OBJ咖啡馆；保监会… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.、Wang，D.、Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
B软件 6篇文献引用(2013–2021) 软件作者： David Delahaye、Catherine Dubois、Claude Marché、David Mentré 相关软件： TPTP；泽农；dedukti… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
EVES公司 7份文件引用(1993–2006) 软件作者： Sento Kromodimoeljo；比尔·帕斯；Mark Saaltink；丹·克雷根（Dan Craigen）；欧文·梅赛尔 相关软件： IMPS；PVS；HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
FOL配件 7份文件引用(2014–2023) 软件作者： 斯特凡·贝尔霍弗；安德烈亚斯·哈尔克 相关软件： 存档正式证据；Isabelle/HOL；完备性定理… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
热的，热的 7份文件引用(1998–2022) 软件作者： 卡斯滕·康拉德 相关软件： TPS；TPTP；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
mkbTT公司 7份文件引用(2008–2022) 软件作者： 莎拉·温克勒；佐藤、晴彦；阿尔特米德尔多普；栗原、Masahito 相关软件： 斯洛思罗普；蒂罗尔；KBCV… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
CTcong.txt（中文） 6篇文献引用(2016–2022) 软件作者： 威廉·Y·C·陈。；侯庆虎；多龙·泽尔伯格 相关软件： 组织环境信息系统；MultiZeilberger；RookWalks… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）
EPGY公司 引用于3份文件(2001–2020) 软件作者： 理查德·索默；格雷戈里·努科尔斯 相关软件： LPL软件；减少；OTTER… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： Grant Olney Passmore、Simon Cruanes、Denis Ignatovich、Dave Aitken、Matt Bray、Elijah Kagan、Kostya Kanishev、Ewen Maclean、Nicola Mometto 相关软件： 吸血鬼；SMT-LIB；芝诺… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
茉莉 4份文件引用(2019–2022) 软件作者： 何塞·巴塞拉·阿尔梅达（JoséBacelar Almeida）、曼努埃尔·巴博萨（Manuel Barbosa）、吉尔斯·巴特（Gilles Barthe）、阿瑟·布洛特（Arthur Blot）、本杰明·格雷戈里（Benjamin Grégoire）、文森特·拉波特（Vincent Laporte）、蒂亚戈·奥利维拉（Tiago Oli 相关软件： HACL*；EasyCrypt；曲线25519… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；芒，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MoSeL公司 5份文件引用(2018–2023) 软件作者： Robbert Krebbers；雅克·亨利·乔丹（Jacques-Henri Jourdan）；Ralf Jung；约瑟夫·塔萨罗蒂；Kaiser，Jan-Oliver；阿明·蒂曼尼；亚瑟·查古埃罗（Arthur Charguéraud）；德雷克·德雷尔 相关软件： Coq；蚱蜢；VeriFast… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
普赛克 5份文件引用(2013–2020) 软件作者： 圣菲省格拉汉·伦格兰德 相关软件： 伊莎贝尔；直觉；ILTP… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
SMT至TPTP 5份文件引用(2015–2017) 软件作者： 鲍姆加特纳，P。 相关软件： TPTP；SMT-LIB；z3… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
TinyGarble公司 5份文件引用(2016–2023) 软件作者： Songhori，E.M.、Hussain，S.U.、Sadeghi，A.、Schneider，T.、Koushanfar，F。 相关软件： 美味的；JustGarble公司；ObliVM… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
比格尔犬 4份文件引用(2015–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；约书亚·巴克斯（Joshua Bax）；乌韦·沃尔德曼 相关软件： z3；TPTP；iProver… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CONFAC公司 1份文件引用(2009) 软件作者： 苏雷什·卡拉南（Suresh Karanam）、卡洛斯·莫雷诺（Carlos S.Moreno） 相关软件： CGH多阵列；AS 62；ArrayExpress… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
ProMoVer公司 4份文件引用(2011–2016) 软件作者： 苏莱曼尼法德，锡亚瓦什；古罗夫，帝力；玛丽克·赫斯曼 相关软件： 马文；DeltaCCS；MSTA… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
夸蒂 4份文件引用(2014–2023) 软件作者： Vivek Nigam；Reis，Giselle；莱昂纳多·利马 相关软件： 混合的；github；红杉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
蒂皮 4份文件引用(2013–2019) 软件作者： 杰西·阿拉玛 相关软件： MiniSat；佩斯卡；梅斯4… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
行波管 引用于3份文件(2009–2019) 软件作者： 彼得罗·阿巴特；拉杰夫·戈雷 相关软件： LoTREC公司；MSPASS；SableCC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
XBarnacle公司 4份文件引用(2000–2006) 软件作者： 迈克·杰克逊；海伦·洛；大卫·邓肯 相关软件： Nuprl；蛤；自动… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
增长 引用于3份文件（2010年至2017年） 软件作者： 马尔科·希尔斯曼；托尔斯滕·科德曼；贾德兰·弗拉贝克；德克·里思 相关软件： DesParO；彪马；OpenNebula… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）…
Symlog公司 引用于3份文件(1994–2019) 软件作者： 弗雷德里克·波托拉罗。 相关软件： 3TAP；思想者 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
VCGen公司 2份文件引用(2015–2023) 软件作者： 陈，陈；贾利民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： SANDLog；Coq；KeY… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
验证器 引用于3份文件(2016–2019) 软件作者： 高弘久保田；Kakutani，Yoshihiko；加藤，加油；川野康仁；樱田秀树 相关软件： QPL；质量管理清单；QPMC… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
琥珀色 2份文件引用(2022) 软件作者： 马塞尔·穆斯布鲁克；埃齐奥·巴托西；Joost-Pieter Katoen；劳拉·科瓦奇 相关软件： 依赖；SymPy；哈卡鲁… 主要字段： 计算机科学（68-XX）
澳大利亚-R 2份文件引用(2016) 软件作者： 谭佳奇；Tay，Hui Jun；拉杰夫·甘地；Priya Narasimhan 相关软件： 达夫尼；MiBench公司；维拉斯科… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
FOL_哈里森 2份文件引用（2018年） 软件作者： 亚历山大·伯奇·詹森（Alexander Birch Jensen）、安德斯·施利奇特克鲁尔（Anders Schlichtkrull）、约根·维拉德森（Jorgen Villadsen） 相关软件： 经验证的校准仪；存档正式证据；FOL配件… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
戈兰 2份文件引用(2022–2023) 软件作者： 朱莉·凯勒；Johann Rosain；戴维·德拉哈耶（David Delahaye）；西蒙·罗比拉德；布齐安·欣德·莉莉亚 相关软件： TPTP；存档正式证据；iProver… 主要字段： 计算机科学（68-XX）
向ATINF致敬 2份文件引用(2001–2012) 软件作者： 卡费拉、里卡多；尼古拉斯·佩尔蒂埃（Nicolas Peltier）；弗朗索瓦·普伊特 相关软件： GEX；日本国债交易所；发现者… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
软体动物 2份文件引用(1994–1996) 软件作者： Bradley L.理查兹。；伊娜·克拉恩；阿兰·斯梅尔（Alan Smaill）；杰兰特·威金斯。 相关软件： 牡蛎；蛤；数字（amp；N）… 主要字段： 计算机科学（68-XX）
Nusschecker公司 2份文件引用(2020–2023) 软件作者： 丹尼尔·考夫曼（Daniela Kaufmann）；阿明·比尔 相关软件： 帕切克；博斯普鲁斯；RevSCA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
活塞.txt 1份文件引用(2020) 软件作者： Shalosh B.Ekhad、N.J.A.Sloane、Doron Zeilberger 相关软件： 枫树；组织环境信息系统；有限公司 主要字段： 计算机科学（68-XX）
校样板 1份文件引用（2018年） 软件作者： Caleb Eggensperger公司 相关软件： ACL2；ACuLa博士；DrJava… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SANDLog日志 1份文件引用(2015) 软件作者： 陈，陈；贾利民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： VCGen；Coq；RapidNet… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
抽象稳健性 1份文件引用（2018年） 软件作者： 贾斯敏·克里斯蒂安·布兰切特；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： github；格栅；FOL_Harrison… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）