自旋蛋白 619文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
莫德 646份文件引用(1984–2023) 软件作者： 克拉维尔，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 相关软件： OBJ咖啡馆；OBJ3；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
Z树 695份文件引用(2001–2023) 软件作者： Fischbacher大学。 相关软件： 奥赛；hroot；状态… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HOL公司 592份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论和推广（20-XX）…
HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： 辅酶q；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
数据日志 282份文件引用(1978–2022) 软件作者： Ceri，S.、Gottlob，G.、Tanca，L 相关软件： 亚萨特；格林戈；Clingo… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
克洛诺斯 246篇文献引用(1997–2022) 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
斯莫德尔斯 231篇文献引用（1999年至2022年） 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；托米·西尔贾宁 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
E定理证明器 229篇文献引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： VAMPIRE公司；TPTP；SPASS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论和推广（20-XX）…
谚语9 223篇文献引用(2006–2024) 软件作者： 威廉·麦库恩 相关软件： 梅斯4；水獭；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
SPASS公司 204篇文献引用(1996–2023) 软件作者： C Weidenbach、U Brahm、T Hillenbrand 相关软件： VAMPIRE公司；TPTP；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
SATO公司 190份文件引用(1996–2023) 软件作者： 张，H 相关软件： 糠；伯克敏；PSATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
高尔夫球 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： ConGolog；AgentSpeak；METATEM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
重新记录 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
大锤 165篇文献引用(2010–2023) 软件作者： Nik苏尔塔纳；Jasmin Christian布兰切特；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
非对称性 149份文件引用(1979–2022) 软件作者： 罗伯特·博伊尔（Robert S.Boyer）。；J.Strother摩尔 相关软件： HOL；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；群论和推广（20-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
枣灰蝶属 150篇文献引用(1997–2022) 软件作者： Bruno Buchberger、Tudor Jebelean、Temur Kutsia、Wolfgang Windsteiger、奥地利林茨大学RISC研究所Theorema小组 相关软件： Coq；Mathematica；Mizar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；交换代数（13-XX）…
马德里 139篇文献引用(1998–2024) 软件作者： R.Venkata Rao 相关软件： 电气；维京人；NBI… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
XSB公司 139篇文献引用(1995–2022) 软件作者： Sagonas，K.F.、Swift，T.、Warren，D.S.、Freire，J.、Rao，P。 相关软件： YAP-Prolog；平滑；B-Prolog… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
MONA公司 142篇文献引用(1995–2023) 软件作者： 克拉伦德，尼尔斯；莫勒，安德斯；迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。；J·埃尔加德。 相关软件： z3；DCVALID；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
图形库 140篇文献引用(1993–2023) 软件作者： 唐纳德·科努特（Donald E.Knuth）。 相关软件： LOLIB；LEDA；Pajek数据集… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
SETHEO公司 118篇文献引用(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
ProbLog（问题日志） 119篇文献引用(2007–2023) 软件作者： Joris Renkens；范登·布勒克（Van Den Broeck），盖伊（Guy）；齐格弗里德·尼杰森 相关软件： 棱镜；PITA；CP逻辑… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
格林戈 110篇文献引用(2007–2023) 软件作者： 马丁·格布瑟、罗兰·卡明斯基、本杰明·考夫曼、马克斯·奥斯特罗斯基、托尔斯滕·绍布、斯文·蒂勒 相关软件： 克林戈；搭扣；WASP… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
政治公众人物协议 111篇文献引用(1995–2024) 软件作者： 简·希尔斯顿；http://www.dcs.ed.ac.uk/pepa/people网站/ 相关软件： 生物-PEPA；棱镜；生物活性炭… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
应用程序 108篇文献引用(2002–2023) 软件作者： 罗伯托·巴格纳拉；利玛窦（Elisa Ricci）；埃纳州扎法内拉；帕特里夏·M·希尔。 相关软件： 高科技；停机坪；ASTREE… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
扣环 104篇文献引用(2007–2022) 软件作者： 马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）、安德烈·诺依曼（AndréNeumann）、托尔斯滕·绍布（Torsten Schaub） 相关软件： 格林戈；克林戈；WASP… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
LTL2BA公司 99篇文献引用(2001–2023) 软件作者： 保罗·加斯丁（Paul Gastin）；丹尼斯·奥杜克斯 相关软件： 自旋蛋白；SPOT；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DistAl公司 77份文件引用(1999–2023) 软件作者： 杨继勋；拉杰什·帕雷克；瓦桑特·霍纳瓦尔 相关软件： UCI毫升；C4.5；基因组学… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
代理发言 89份文件引用(1998–2023) 软件作者： 阿南德·拉奥 相关软件： 杰森；3APL；METATEM… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
锡林克斯 24篇文献引用(1994–2023) 软件作者： Xilinx公司。 相关软件： Handel-C；Matlab；Simulink… 主要字段： 场论与多项式（12-XX）；计算机科学（68-XX）；量子理论（81-XX）…
炸薯条 86篇文献引用(1989–2024) 软件作者： Dincbas，M。；Simonis，H。；van Hentenryck，P。 相关软件： 奥兹；ILOG时间表；CPLEX… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
MCMAS公司 86篇文献引用(2006–2023) 软件作者： 阿莱西奥·洛穆西奥（Alessio Lomuscio）、洪阳区（Hongyang Qu）、弗兰科·雷蒙迪（Franco Raimondi） 相关软件： MCK；摩卡；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CCalc公司 77份文件引用(2003–2023) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；Lee，Joohyung；弗拉基米尔·利夫希茨；诺曼·麦凯恩；哈德森·特纳 相关软件： 平滑；考拉；高尔夫… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
模糊逻辑工具箱 66份文件引用(1998–2022) 软件作者： 网织物；北卡罗来纳州格利。；Jang，J.S。 相关软件： Matlab；ANFIS；Simulink… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Nitpick公司 77份文件引用(1999–2023) 软件作者： Jasmin Christian布兰切特；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯雷斯 相关软件： 棱镜；管道；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
水银 75篇文献引用（1994年至2022年） 软件作者： mercurylang.org网站 相关软件： 哈斯克尔；幼儿保育和教育；咖喱… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；统计学（62-XX）…
Reluplex公司 71篇文献引用(2017–2024) 软件作者： 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件： 马拉博；AI2；NNV… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯·阿尔塔莱霍 相关软件： 核叶；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
Coq/SS反射 引用于74份文件(2008–2021) 软件作者： Microsoft Research-Inria联合中心 相关软件： 辅酶q；Isabelle/HOL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论和推广（20-XX）…
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI-预测；芯片… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
C模型 68篇文献引用(2004–2022) 软件作者： 尤利娅·利勒 相关软件： 亚萨特；平滑；格林戈… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
基瓦-2 71篇文献引用(1987–2023) 软件作者： Amsden，A.A。；Orourke，P.J。；T.D.巴特勒。 相关软件： KIVA-4；数据包；CHEMKIN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
iProver（iProver） 引用于67份文件(2008–2023) 软件作者： 康斯坦丁·科洛文 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
凯伊 55份文件引用(2000–2023) 软件作者： http://www.key-project.org/people.html 相关软件： JML；ESC/Java；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗、卡明；沃尔夫冈·费伯（Wolfgang Faber）；Leone，尼古拉；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
阿勒夫 59篇文献引用(2004–2023) 软件作者： 斯里尼瓦桑，A 相关软件： ProbLog；github；Metagol… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
赛车手 53篇文献引用（2001年至2022年） 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨塔拉克 引用于67份文件(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
赫茨 65篇文献引用(2005–2023) 软件作者： Mossakowski，T.、Maeder，C.、Lüttich，K。 相关软件： CASL；Isabelle/HOL；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
杰森 引用于47份文件(1977–2023) 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： AgentSpeak；贾德克斯；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
RRL公司 59篇文献引用(1985–2023) 软件作者： D.卡普尔；H.张 相关软件： 版次：；水獭；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；非结合环与代数（17-XX）…
StarExec公司 62篇文献引用(2014–2023) 软件作者： 亚伦·斯塔姆；杰夫·萨克利夫（Geoff Sutcliffe）；塞萨尔·蒂内利 相关软件： TPTP；z3；VAMPIRE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；凸和离散几何（52-XX）…
数学SAT 59篇文献引用(2005–2023) 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
现场 61篇文献引用(2005–2023) 软件作者： Duret-Lutz，A。；波特雷诺。 相关软件： 自旋蛋白；LTL2BA；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
阿贝拉 57篇文献引用(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
微型ML 58篇文献引用(2000–2023) 软件作者： 罗文·戴维斯（Rowan Davies）；弗兰克，普芬宁 相关软件： Coq；毫升；佩斯卡… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
Ciao公司 56篇文献引用（1999年至2022年） 软件作者： Bueno，F.，Cabeza，D.，Carro，M.，Hermenegildo，M.、López-García，P.、Puebla，G。 相关软件： CiaoPP；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
梅蒂斯_ 58篇文献引用(1987–2023) 软件作者： Joe Leslie-Hurd；metis-users@gilith.com 相关软件： Isabelle/HOL；E定理证明器；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast；jStar；HIP… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
玩具 56篇文献引用（2001年至2022年） 软件作者： F.J.López Fraguas，J.Sánchez Hernández 相关软件： 巴贝尔；哈斯克尔；PAKCS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电源保护 52篇文献引用(2001–2020) 软件作者： 罗杰·琼斯；R.D.阿尔森。；戴夫·金；Lemma 1有限公司 相关软件： 马戏团；Z；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；实函数（26-XX）…
METATEM公司 49篇文献引用(1994–2016) 软件作者： 巴林格，H。；费希尔，M。；Gabbay博士。；戈夫，G。；R.欧文斯。 相关软件： AgentSpeak；高尔夫；ConGolog… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MMT公司 54篇文献引用(2009–2022) 软件作者： 弗洛里安·拉贝 相关软件： OMDoc；质量管理体系；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
生物CHAM 52篇文献引用(2005–2024) 软件作者： Chabrier，N.、Fages，F.、Soliman，S。 相关软件： 生物-PEPA；棱镜；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
KIV公司 51篇文献引用(1988–2022) 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
洛利 52篇文献引用(1993–2022) 软件作者： 乔什·霍达斯；戴尔·米勒 相关软件： Twelf；精灵；阿贝拉… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
LEO-II型 52篇文献引用(2008–2021) 软件作者： Benzmüller，C.，Paulson，L.，Theiss，F.，Fietzke，A，本泽米勒，C.，鲍尔森，L.，泰斯，F.，费茨克，A 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
香车叶草 50篇文献引用（1999年至2022年） 软件作者： 托马斯·希伦布兰德；伯恩德·洛什内尔 相关软件： VAMPIRE公司；TPTP；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
高阶逻辑 引用于47份文件(1993–2021) 软件作者： 陈卫东；迈克尔·基弗；大卫·S·沃伦 相关软件： Hiord；swrl；XSB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
基础知识 引用于42份文件（2011年-2023年） 软件作者： 罗伯特·布雷顿；阿兰·米什琴科 相关软件： MiniSat；爱格；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
YAP-序言 48篇文献引用（1999年至2022年） 软件作者： 维托尔·桑托斯·科斯塔（Vítor Santos Costa）、路易斯·达马斯（Luís Damas）、罗杰里奥·里斯（Rogério Reis）、鲁本·阿泽夫多（Rüben Azevedo） 相关软件： XSB；ProbLog；SWI-预测… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
咖喱 引用于42份文件(1998–2022) 软件作者： M.Hanus、H.Kuchen、J.J.Moreno-Navarro 相关软件： 哈斯克尔；PAKCS；KiCS2… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
状态流 43篇文献引用(1989–2023) 软件作者： MathWorks公司。 相关软件： Simulink；Matlab；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GHC公司 39篇文献引用(1986–2023) 软件作者： Kazunori上田 相关软件： 谈判；SICStus公司；Kima… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
精益TAP 44篇文献引用（1994年至2022年） 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
BL2D-V2型 45篇文献引用(1998–2023) 软件作者： Patrick Laug；Houman Borouchaki；INRIA Rocquencourt公司 相关软件： 安吉纳；bamg；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
FRIL公司 38篇文献引用（1987年至2022年） 软件作者： 鲍德温，J.F。；马丁·T·P。；B.W.皮尔斯沃思。 相关软件： Likelog；FPROLOG；XPath… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
棱镜 44篇文献引用（2006年至2022年） 软件作者： 佐藤，T.，卡梅亚，Y。 相关软件： ProbLog；CP逻辑；PITA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
Lparse（L解析） 引用于42份文件(2001–2020) 软件作者： 托米·西尔贾宁 相关软件： 格林戈；亚萨特；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
HYSDEL公司 41篇文献引用(2003–2023) 软件作者： 法比奥·达尼洛·托里西（Fabio Danilo Torrisi）、阿尔贝托·本普拉德（Alberto Bempoad）、乔埃勒·贝尔蒂尼（Giole Bertini）、彼得·赫塔奇（Peter Hertach）、多米尼克·约斯特（Dominic Jost）、多 相关软件： 混合工具箱；CPLEX；高科技… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…