CVC4型 185篇文献引用(2013–2023) 软件作者： Barrett，C.、Conway，C.L.、Deters，M.、Hadarean，L.、Jovanović，D.、King，T.、Reynolds，A.、Tinelli，C。 相关软件： z3；SMT-LIB；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-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）…
腿 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： 辅酶q；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（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）…
DLV公司 29篇文献引用(2001–2022) 软件作者： 乔瓦尼·格拉索；萨尔瓦多伊里塔诺；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： WASP；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
切尼-金凯 23篇文献引用(1985–2012) 软件作者： 沃德·切尼（Ward Cheney）；大卫·金凯 相关软件： Matlab；伊斯兰教；数学… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
FSDA公司 23篇文献引用(2013–2022) 软件作者： Riani M、Perrotta D、Torti F 相关软件： robustbase；TCLUST；mclust… 主要字段： 统计学（62-XX）
简历 9份文件引用(1997–2023) 软件作者： 尤瓦尔·沙哈尔；马克·穆森 相关软件： 蛋白质；PrefixSpan；铲刀… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
图菲 14篇文献引用(2013–2022) 软件作者： Feng Niu、Christopher Ré、AnHai Doan、Jude W.Shavlik 相关软件： RockIt；ProbLog；PRMLT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
非SAP 10篇文献引用(1976–2013) 软件作者： 巴瑟·K·J。；威尔逊，E.L。 相关软件： 纳斯特朗 主要字段： 近似和展开（41-XX）；变分法与最优控制；优化（49-XX）；变形固体力学（74-XX）…
N3逻辑 7份文件引用(2008–2017) 软件作者： 蒂姆·伯纳斯-李（Tim Berners-Lee）；Dan Connolly；拉拉纳·卡加尔；尤西·沙夫；吉姆·亨德勒 相关软件： 平滑；MWeb；SPARQL… 主要字段： 计算机科学（68-XX）
TensorLog公司 9份文件引用(2018–2023) 软件作者： 威廉·科恩；杨，范；凯瑟琳·里瓦德·马扎蒂斯 相关软件： DeepProbLog；ProbLog；亚当… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
嵌入模式 8份文件引用(2017–2023) 软件作者： Gleißner，托拜厄斯；亚历山大·斯蒂恩（Alexander Steen）；克里斯托夫·本兹穆勒 相关软件： MleanCoP；尼特皮克；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
H-PILoT公司 6篇文献引用（2009年至2021年） 软件作者： Carsten Ihlemann，Viorica Sofrone-Stokkermans公司 相关软件： z3；REDLOG；草蜢… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
千对数 6篇文献引用(2014–2022) 软件作者： 保罗·弗雷斯科尼；法布里齐奥·科斯塔；Luc De Raedt；库尔特·德·格雷夫 相关软件： ProbLog；PyTorch；Aleph… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CPIC公司 5份文件引用(2013–2021) 软件作者： G.L.Delzanno、E.Camporeale、J.D.Moulton、J.E.Borovsky、E.A.MacDonald、M.F.Thomsen 相关软件： 民主；GEMPIC；DRACO… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
棒棒糖 5份文件引用（2010年至2016年） 软件作者： Karl Mazurak；史蒂夫·兹丹塞维奇 相关软件： VeriML；雷卡姆；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿迪门·苏莫 2份文件引用(2015–2019) 软件作者： Alvez J.、Lucio P.、Rigau G 相关软件： 知识；雅高；BabelNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
杜夸德 3份文件引用(2015–2022) 软件作者： I.Necoara，S.Kvamme 相关软件： qpOASES；VIATOC；GRAMPC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MNiBLoS（移动互联网操作系统） 3份文件引用(2016–2023) 软件作者： 阿曼达·维达尔 相关软件： Fuzzydl；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
帕尔爪哇 3份文件引用(2007–2009) 软件作者： 副总裁伊万尼科夫。；阿维提斯扬，A.I。；Gaissaryan，S.S。；医学硕士Akopyan。 相关软件： 小教堂；MPJ Express；要塞… 主要字段： 计算机科学（68-XX）
博学 3份文件引用(2005–2006) 软件作者： Mordechai Shacham、Michael B.Cutlip、Michael Elly 相关软件： 汽车；Mathematica；自动-86 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）
中央司令部 2份文件引用(2006–2013) 软件作者： Young，W。；Taylor，医学硕士。；汤普森，R.G。；科尔，I。；J.福斯特。 相关软件： – 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CLTDSE公司 2份文件引用(2014–2016) 软件作者： “哦，布劳恩，Cathal；洛杉矶Nikolopoulos。 相关软件： Qprop；开放式CL；数学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）
EFSMT公司 2份文件引用(2016–2019) 软件作者： Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件： z3；Yices；SMT-RAT… 主要字段： 计算机科学（68-XX）
校对作者 在0个文档中引用 软件作者： Oyvind Tafjord、Bhavana Dalvi Mishra、Peter Clark 相关软件： 变压器；规则制定者；BLEURT… 主要字段： 数理逻辑与基础（03-XX）
SMProbLog（SMProb日志） 2份文件引用(2022) 软件作者： Pietro Totis、Angelika Kimmig、Luc De Raedt 相关软件： 克林戈；ProbLog；DeepProbLog… 主要字段： 计算机科学（68-XX）
超级数据库 1份文件引用(2007) 软件作者： Kim，Tae-Kyung；郑承云；Kim，Kyong-Ran；Yoo，Jae Soo；Wan-Sup Cho 相关软件： – 主要字段： 计算机科学（68-XX）
TBUDDY（待定） 1份文件引用(2023) 软件作者： Randal E.布莱恩特。 相关软件： Paracooba；基萨特；SBSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）