岩浆 4007文件引用（1994年至2024年） 软件作者： W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件： 间隙；SageMath；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
WinBUGS公司 760份文件引用(1999–2023) 软件作者： David Spiegelhalter；安德鲁·托马斯；Nicky Best；戴夫·伦恩 相关软件： R；贝叶斯DA；错误… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
漏洞 371份文件引用(1992–2023) 软件作者： D.Spiegelhalter、A.Thomas、W.Gilks 相关软件： R；WinBUGS；卡爪… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卡爪 292份文件中引用(2005–2024) 软件作者： 马丁·普卢默 相关软件： R；斯坦；WinBUGS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PMTK公司 引用于307份文件(2012–2024) 软件作者： Dunham M、Murphy K 相关软件： PRMLT；亚当；贝叶斯DA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EMD公司 222篇文献引用(2000–2024) 软件作者： Y.鲁布纳 相关软件： Wasserstein GAN；SIFT；简单性… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
坚果 196篇文献引用(2013–2024) 软件作者： 马修·霍夫曼（Matthew D.Hoffman）、安德鲁·盖尔曼（Andrew Gelman） 相关软件： 斯坦；贝叶斯DA；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ts桥 194份文件引用(1995–2024) 软件作者： 盖伊·J·阿贝尔（Guy J.Abel）；成龙·S·T·王 相关软件： R；贝叶斯DA；WinBUGS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
COIN或 109篇文献引用(2004–2023) 软件作者： http://www.coin-or.org/members.html 相关软件： CPLEX；SCIP；Ipopt… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
R2 WinBUGS软件 75篇文献引用(2006–2022) 软件作者： 安德鲁·盖尔曼；西比尔·斯特茨；格雷戈·戈贾尼（Gregor Gorjanc）；朱妮·科尔曼（Jouni Kerman）；Uwe Ligges公司 相关软件： R；WinBUGS；CODA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
打开BUGS 80篇文献引用（2007年至2024年） 软件作者： 安德鲁·托马斯 相关软件： R；WinBUGS；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
瓦尔格林德 45篇文献引用(2004–2023) 软件作者： Cerion Armour Brown、Jeremy Fitzhardinge、Tom Hughes、Nicholas Nethercote、Paul Mackerras、Dirk Mueller、Julian Seward、Bart Van Assche、Robert Walsch、Josef Weidendorfer 相关软件： ADOL-C；LLVM；Python… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
CompCert公司 58篇文献引用（2009年-2023年） 软件作者： X·勒罗伊。 相关软件： Coq；Isabelle/HOL；z3… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
吉隆坡机场 43篇文献引用（2010年-2023年） 软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔 相关软件： z3；可爱的；DART… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
灵活的 36篇文献引用(2017–2023) 软件作者： 佩里·德瓦尔平（Perry de Valpine）、克里斯托弗·帕西奥雷克（Christopher Paciorek）、丹尼尔·图雷克（Daniel Turek 相关软件： R；斯坦；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
活力 32篇文献引用(1993–2018) 软件作者： 托尼·安德鲁斯；沙兹·卡迪尔；Rajamani，Sriram K。；雅各布·雷霍夫；谢、伊晨 相关软件： 自旋蛋白；SLAM；veriSoft… 主要字段： 代数几何（14-XX）；复变量函数（30-XX）；统计学（62-XX）…
不明飞行物 22篇文献引用(2012–2022) 软件作者： Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件： CPA检查员；z3；爆炸… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
CCured公司 18篇文献引用(2002–2018) 软件作者： Necula，G.C.，McPeak，S.，Weimer，W。 相关软件： SLAM；投掷；Java PathFinder… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
考德 23篇文献引用(2018–2023) 软件作者： Lanese，I.、Nishida，N.、Palacios，A.、Vidal，G。 相关软件： 埃尔朗；github；铲刀… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
拖把 15篇文献引用（2003年至2019年） 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
密码数据库 22篇文献引用(2013–2023) 软件作者： Raluca Ada Popa、Catherine M.S.Redfield、Nickolai Zeldovich、Hari Balakrishnan 相关软件： github；卡桑德拉；HBase… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CSSV公司 16篇文献引用(2004–2013) 软件作者： 多尔，N.，罗德，M.，萨吉夫，M 相关软件： ASTREE公司；TVLA；CBMC… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
LHAPDF公司 15篇文献引用（2009年-2023年） 软件作者： 安迪·巴克利 相关软件： 循环工具；PYTHIA8；古巴… 主要字段： 算子理论（47-XX）；几何（51-XX）；统计学（62-XX）…
SMPS阅读器 18篇文献引用(2001–2023) 软件作者： 霍兰德·加斯曼 相关软件： AMPL；MSLiP；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
GDB公司 15篇文献引用(1998–2023) 软件作者： R.Stallman；R.佩什 相关软件： 瓦尔格林德；自旋蛋白；日晷… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
有限责任公司 13份文件引用(2012–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；弗洛里安·默兹（Florian Merz）；卡斯滕·辛兹 相关软件： 不明飞行物；CPA检查员；CBMC… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
纳米法兰 17篇文献引用(2017–2024) 软件作者： 何塞·路易斯·布兰科；拉伊·普兰贾尔·库马尔 相关软件： github；p4测试；PETSc… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
推断 15篇文献引用(2015–2023) 软件作者： Calcagno，C.，Distefano，D。 相关软件： 幻灯片；小脚；HIP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
铁人舰队 16篇文献引用(2017–2023) 软件作者： Hawblitzel，C。；豪厄尔，J。；卡普里索斯，M。；Lorch，J.R。；巴诺，B。；罗伯茨，M.L。；塞蒂，S.T.V。；齐尔，B 相关软件： z3；达夫尼；常春藤… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SAFD公司 15篇文献引用(2012–2022) 软件作者： Trutschnig，W。；Lubiano，医学硕士。；J·拉斯特拉。 相关软件： R；fclust；Juzzy… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
GKLEE公司 在11份文件中引用(2013–2022) 软件作者： 李·G、李·P、萨瓦亚·G、戈帕拉克里希南·G、高什·I、拉詹·S.P。 相关软件： CUDA；GPU验证；OpenCL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
交流直流电 13份文件引用(2005–2022) 软件作者： 罗斯·赖特；杰夫·卡什 相关软件： twpbvp；twpbvpl；bvptwp.m… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
DD验证 9份文件引用(2009–2019) 软件作者： Witkowski，T.、Blanc，N.、Kroening，D.、Weissenbacher，G 相关软件： SLAM；CBMC；卫星… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
J拉舍尔 6篇文献引用(2008–2014) 软件作者： 萨勒纳、克里斯托夫和斯马拉格达基斯、亚尼斯 相关软件： 罗斯特拉；Daikon；埃克拉特… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
里昂 12份文件引用(2014–2022) 软件作者： 雷吉斯·布兰科；维克多·昆卡（Viktor Kuncak）；艾蒂安·克劳斯；菲利普·苏特 相关软件： CVC4；达夫尼；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
悉尼商学院 13份文件引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
金刚狼 在11份文件中引用（2012年至2020年） 软件作者： 乔治·魏森巴赫（Georg Weissenbacher）；Daniel Kroening；沙拉德·马利克 相关软件： SLAM；CPA检查员；爆炸… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
穆瓦尔 8份文件引用（2010年-2023年） 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
波乔里 10篇文献引用(2013–2019) 软件作者： Tang，Y.、Chowdhury，R.A.、Kuszmaul，B.C.、Luk，C.K.、Leiserson，C.E。 相关软件： PATUS公司；GPU验证；Coq… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
KJS公司 9份文件引用(2015–2021) 软件作者： 格里戈·罗什u安德烈·特夫内斯库大峻公园 相关软件： K-Java；莫德；Coq… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者： 胡安·加莱奥蒂（Juan P.Galeotti）；尼古拉·罗斯纳（Nicolas Rosner）；卡洛斯·洛佩斯·蓬博（Carlos G.Lopez Pombo）；马塞洛·F·弗里亚斯 相关软件： TestEra；Java PathFinder；GitHub… 主要字段： 数理逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
德尔菲 8份文件引用(2013–2022) 软件作者： 李，L。；李，C。；Sarkar，S。；张杰。；威瑟姆，S。；张，Z。；王，L。；N.史密斯。；佩图赫，M。；阿列克索夫，E。 相关软件： APBS；MIBPB；PDB2PQR… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
苏贝尔 3份文件引用(2008–2018) 软件作者： Liu C、Yan X、Fei L、Han J、Midkiff SP 相关软件： VIDA；LIBSVM；阿达布… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
多BUGS 3份文件引用(2019–2022) 软件作者： Goudie，R.J.B.、Turner，R.M.、De Angelis，D.、Thomas，A。 相关软件： R；WinBUGS；卡爪… 主要字段： 统计学（62-XX）
SemFix公司 4份文件引用(2017–2023) 软件作者： Hoang Duong Thien Nguyen、Dawei Qi、Abhik Roychoudhury、Satish Chandra 相关软件： 先知；安吉利克斯；缺陷4J… 主要字段： 计算机科学（68-XX）
StringFuzz（字符串模糊） 7份文件引用（2019年-2023年） 软件作者： 布洛茨基，D。；莫拉·F。；M.Berzish。；郑毅。；卡比尔，I。；加内什，V。 相关软件： Z3str3；CVC4；z3… 主要字段： 计算机科学（68-XX）
VeriFlow公司 7份文件引用(2016–2022) 软件作者： A.Khurshid、X.Zou、W.Zhou、M.Caesar、P.B.Godfrey 相关软件： NetKAT；食蚁兽；VeriCon… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
ConTest公司 5份文件引用(2003–2018) 软件作者： 奥里特·埃德尔斯坦（Orit Edelstein）；埃坦·法奇；戈丁，叶夫根尼；尼尔、雅顿；吉尔·拉特萨比；乌尔，施穆尔 相关软件： veriSoft；橡皮擦；Java PathFinder… 主要字段： 计算机科学（68-XX）
R2打开BUGS 6篇文献引用(2017–2023) 软件作者： Sturtz，S.、Ligges，U.、Gelman，A。 相关软件： R；漏洞；重新思考… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
ZooKeeper（缩放管理员） 5份文件引用(2016–2022) 软件作者： 阿帕奇 相关软件： github；Hadoop；MapReduce… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
食蚁兽 5份文件引用(2013–2022) 软件作者： Mai，H.、Khurshid，A.、Agarwal，R.、Caesar，M.、Godfrey，P.、King，S.T。 相关软件： NetKAT；VeriFlow；VeriCon… 主要字段： 计算机科学（68-XX）
比普斯 在0个文档中引用 软件作者： 阿德里安·托德斯奇尼（Adrien Todeschini）、弗朗索瓦·卡隆（François Caron）、马克·富恩特斯（Marc Fuentes）、皮埃里克·罗格朗（Pierrick Legrand）、皮埃尔·德尔·莫拉利（Pierre Del Moral） 相关软件： vSMC；R；LibBi… 主要字段： ——
DynaMine公司 1份文件引用(2022) 软件作者： Livshits，B.，Zimmermann，T。 相关软件： 自旋蛋白；德克萨斯州；PPTL_SPIN… 主要字段： 计算机科学（68-XX）
通用航空公司 5份文件引用(2002–2020) 软件作者： M.阿什当。 相关软件： 盖根；Clifford Multivector工具箱；GABLE… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
gprof公司 5份文件引用(2003–2023) 软件作者： Fenlason J，Stallman R。 相关软件： 日晷；通用；FEAPpv… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
gvs_无人值守地面传感器 4份文件引用(2012–2019) 软件作者： Ioannis Ntzoufras公司 相关软件： WinBUGS；JAGS；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
HBC公司 2份文件引用(2013–2014) 软件作者： 达美III H 相关软件： R；JAGS；WinBUGS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
麻雀 5份文件引用(2016–2022) 软件作者： Hakjoo Oh、Kihong Heo、Wonchan Lee、Woosuk Lee、Kwangkeun Yi 相关软件： 烟尘；停机坪；ASTREE… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TSO工具 5份文件引用（2008年至2021年） 软件作者： 机库S、Vahia D、Manovit C、Lu J-YJ、Narayanan S 相关软件： UMM；Coq；TSL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
VeriCon公司 5份文件引用(2014–2021) 软件作者： Ball，T.、Bjorner，N.、Gember，A.、Itzhaky，S.、Karbyshev，A.、Sagiv，M.、Schapira，M.和Valadarsky，A。 相关软件： NetKAT；食蚁兽；Kuai… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ABETS公司 4份文件引用(2016–2023) 软件作者： Alpunte，M。；Frechina，F.作者简介；萨皮尼亚，J。；D.巴利斯。 相关软件： 莫德；闪烁；MTT… 主要字段： 计算机科学（68-XX）
地址消毒剂 3份文件引用(2016–2020) 软件作者： Serebryany，K.、Bruening，D.、Potapenko，A.、Vyukov，D。 相关软件： Frama-C；锈蚀；规范#… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
CalFuzzer公司 2份文件引用(2010–2018) 软件作者： 帕拉维·乔希；Mayur Naik；公园、长秀；塞·库什克 相关软件： SLAM；蜗牛；可爱… 主要字段： 计算机科学（68-XX）
G空间 3份文件引用（2015年至2022年） 软件作者： Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal 相关软件： CUDA；GKLEE；GPU验证… 主要字段： 数理逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
杰霍恩 3份文件引用(2020–2021) 软件作者： Temesghen Kahsai；Rody Kersten；菲利普·吕默；华斯卡·桑切斯；马丁·施瓦夫 相关软件： SeaHorn；z3；FunArray… 主要字段： 计算机科学（68-XX）
百万吨 3份文件引用(2007–2017) 软件作者： B.海姆松德 相关软件： MARCA；HyperStar；J阶段… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
SAMC公司 4份文件引用(2019–2020) 软件作者： Tanakorn Leesatapornwongsa、Mingzhe Hao、Pallavi Joshi、Jeffrey F.Lukman、Haryadi S.Gunawi 相关软件： MODIST；IronFleet公司；数据匹配… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
未绑定 4份文件引用(2011–2019) 软件作者： 斯蒂芬妮·威里奇；布伦特·A·约基。；蒂姆·谢尔德 相关软件： Isabelle/HOL；Psi结石；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
贝叶斯PostEst 在0个文档中引用 软件作者： 约翰内斯·卡雷思（Johannes Karreth）、莎娜·斯科金（Shana Scogin）、罗伯·威廉姆斯（Rob Williams）、安德烈亚斯·贝格（Andreas Beger）、李明熙（Myunghee Lee）、尼尔·威廉姆斯（Neil Williams 相关软件： RStan；JAGS；Mcmcpack… 主要字段： ——
巴格本 1份文件引用(2012) 软件作者： S.Lu、Z.Li、F.Qin、L.Tan、P.Zhou、Y.Zhou 相关软件： JUnit公司；github；Travis CI… 主要字段： 计算机科学（68-XX）
CertiStr证书 3份文件引用(2022–2023) 软件作者： Kan双龙、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件： SMT-LIB；Isabelle/HOL；z3… 主要字段： 计算机科学（68-XX）
CLN2投资 3份文件引用(2020–2022) 软件作者： Gabriel Ryan、Justin Wong、Jinan Yao、Gu Ronghui、Suman Jana 相关软件： 代码2发票；垫片；z3… 主要字段： 计算机科学（68-XX）
COLMOD公司 3份文件引用(2005–2022) 软件作者： 罗斯·赖特；杰夫·卡什 相关软件： acdc；twpbvp；GitHub… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）
C触发器 3份文件引用(2013–2016) 软件作者： Soyeon公园、山路、圆圆洲 相关软件： RacerX；PENELOPE公司；jPredictor… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
迪奥塔 2份文件引用(2004) 软件作者： 米歇尔·朗塞；乔纳斯·梅贝；德博舍尔，科恩 相关软件： 爪哇；SPECjvm2008；DaCapo… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
DPF（DPF） 3份文件引用(2013–2020) 软件作者： 米洛斯，格利戈里奇；鲁帕克·马朱姆达尔 相关软件： MCMAS；DDVerify；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
爆炸 2份文件引用(2014–2016) 软件作者： 杨俊峰、坎萨尔、道森·恩格尔 相关软件： PostgreSQL；SQCK；Eleven82… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
盖塔菲克斯 3份文件引用(2020–2022) 软件作者： 约翰内斯·巴德、安德鲁·斯科特、迈克尔·普拉德尔、萨蒂什·钱德拉 相关软件： 莫德 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）
GLESP公司 2份文件引用(2007–2017) 软件作者： A.G.Doroshkevich、P.D.Naselsky、O.V.Verkhodanov、D.I.Novikov、V.I.Turchaninov、I.D.Novikof、P.R.Christensen、L.Y.Chiang 相关软件： 雪块砌成的圆顶小屋；Healpix；FFTPACK… 主要字段： 特殊功能（33-XX）；统计学（62-XX）；相对论与引力理论（83-XX）…