R（右） 9676份文件引用(1978–2024) 软件作者： 哈德利·威克姆；先生，罗伯特；罗斯·伊哈卡（Ross Ihaka）；约翰·钱伯斯（John M.Chambers）。；William N.Venables。；布莱恩·里普利。 相关软件： CRAN；SAS；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
麦考利2 2263份文件引用(1988–2024) 软件作者： 丹尼尔·格雷森（Daniel R.Grayson）。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.iuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
量化风险管理 875份文件引用(2005–2024) 软件作者： 伯恩哈德·普法夫；马吕斯·霍弗特；亚历山大·麦克尼尔；斯科特·乌尔曼 相关软件： R；CopulaModel；连接词… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
AMPL公司 648份文件引用(1989–2023) 软件作者： 福勒，R.，盖伊，D.M.，科尼根，B.W。 相关软件： CPLEX；Ipopt；游戏… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CRAN（起重机） 429份文件引用(2002–2024) 软件作者： cran.r-project.org网站/ 相关软件： R；ggplot2；Rcpp… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
生物导体 253篇文献引用(2003–2024) 软件作者： 开放式开发项目 相关软件： R；gcrma；edgeR… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
全球供应链 357份文件引用(1997–2023) 软件作者： 崇谷 相关软件： R；半标准杆；fda（R）… 主要字段： 功能分析（46-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
阿尔戈68 280篇文献引用(1969–2019) 软件作者： van Wijngaarden，A.作者简介；梅勒鲁，B.J。；Peck，J.E.L。；科斯特，C.H.A。；辛佐夫，M。；Lindsey，C.H。；Meertens，L.G.L.T.公司。；R.G.菲斯克。 相关软件： ALGOL 60；Simula 67；Ada95… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
Firedrake公司 165篇文献引用(2016–2024) 软件作者： Robert C.Kirby、Florian Rathgeber、David A.Ham、Lawrence Mitchell、Michael Lange、Fabio Luporini、Andrew T.McRae、Gheorghe-Teodor Bercea、Graham R.Markall、Paul H.J.Kelly 相关软件： PETSc；FEniCS；UFL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
RStan（RStan） 134篇文献引用(2015–2024) 软件作者： 郭继强；等。 相关软件： R；rstan；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
测试U01 127篇文献引用(2005–2024) 软件作者： P.L'Ecuyer；R.西马德 相关软件： MersenneTwister；迪哈德；NIST统计测试套件… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
RcppArmadillo公司 70篇文献引用(2012–2023) 软件作者： 罗曼·弗朗索瓦（Romain Francois）、德克·埃德布特尔（Dirk Eddelbuettel）、道格·贝茨（Doug Bates） 相关软件： R；卢比；犰狳… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
C-XSC 2.0版 128篇文献引用(1979–2023) 软件作者： 沃纳·霍夫舒斯特；沃尔特·克雷默；R.Klatte公司 相关软件： C-XSC；国际实验室；进入PT_90… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
ELLPACK公司 128篇文献引用(1982–2015) 软件作者： 韦恩·戴克森（Wayne R.Dyksen）。；卡尔文·里本斯。 相关软件： ITPACK；NSPCG；EISPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SETHEO公司 引用于118篇文献(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
GiNaC公司 92份文件引用(2002–2024) 软件作者： 欧洲专利局（EPO）；C.W.Bauer、A.Frink、R.Kreckel 相关软件： 形式；雷杜泽；火灾… 主要字段： 复变量函数（30-XX）；几何（51-XX）；数值分析（65-XX）…
PASCAL-XSC公司 99篇文献引用(1991–2022) 软件作者： Klatte，R.、Kulisch，U.、Neaga，M.、Ratz，D.、Ullrich，Ch、Januschke，P.、Ratz，D。 相关软件： C-XSC；C-XSC 2.0；ACRITH-XSC… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；计算机科学（68-XX）…
rstan公司 89份文件引用(2017–2024) 软件作者： 郭继强、乔纳·加布里、本·古德里奇、丹尼尔·李、科兹托夫·萨克雷吉达、奥列格·斯克莱尔、延斯·奥赫施莱格尔·阿基约希、哈德利·威克姆、乔尔·德古兹曼、约翰·弗莱彻、托马斯·海勒、埃里克·尼伯勒 相关软件： RStan；R；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
针织物 52篇文献引用(2012–2023) 软件作者： 谢一辉等。 相关软件： R；ggplot2；rmarkdown… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
赛马拉松 54篇文献引用(2008–2023) 软件作者： Behnel，S.、Bradshaw，R.、Dalcín，L.、Florisson，M.、Makarov，V.、Seljeboton，D.S。 相关软件： 蟒蛇；数字Py；科学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GenStat公司 71篇文献引用(1984–2022) 软件作者： VSN国际；Payne，R.W.、Murray，D.A.、Harding，S.A.、Baird，D.B.、Soutar，D.M。 相关软件： R；SAS；ASReml… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科莱姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；普格利泽，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 核叶；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
METATEM公司 49篇文献引用(1994–2016) 软件作者： 巴林格，H。；费希尔，M。；加巴伊，D。；戈夫，G。；R.欧文斯。 相关软件： AgentSpeak；高尔夫；ConGolog… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
塔维纳 8份文件引用(2005–2019) 软件作者： Oinn，T。；亚的斯亚贝巴，M。；费里斯，J。；D.马文。；Senger，M。；格林伍德，M。；卡弗，T。；格洛弗，K。；波科克，M.R。；抹布，A。；李，P。 相关软件： 飞马座；Java CoG工具包；BioMOBY… 主要字段： 历史与传记（01-XX）；统计学（62-XX）；计算机科学（68-XX）…
灵活的 36篇文献引用(2017–2023) 软件作者： 佩里·德瓦尔平（Perry de Valpine）、克里斯托弗·帕西奥雷克（Christopher Paciorek）、丹尼尔·图雷克（Daniel Turek），克利夫·安德森-伯格曼（Cliff Anderson-Bergman），邓肯·坦普尔·朗（Duncan Temple Lang） 相关软件： R；斯坦；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
全球标准协会 36篇文献引用(2007–2023) 软件作者： 布拉德利·埃夫隆；罗伯特·提比拉尼 相关软件： KEGG；gcrma；生物导体… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
阿菲 24篇文献引用(2004–2021) 软件作者： 拉斐尔·艾里扎里；Laurent Gautier，Leslie Cope；本·博尔斯塔德 相关软件： 生物导体；R；gcrma… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
绵羊 37篇文献引用(1977–2020) 软件作者： 弗里克，我 相关软件： 枫树；减少；MapleTensor… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MoDeST公司 引用于33份文件(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal公司；高科技… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
防抱死制动系统 32篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
概念网 引用于19份文件(2007–2023) 软件作者： Liu H，Singh P；哈瓦西，C.，斯佩尔，R.，阿隆索，J。 相关软件： WordNet；BERT；雅高… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
神童 24篇文献引用(1992–2019) 软件作者： Carbonell，J.、Blythe，J.，Etzioni，O.、Gil，Y.、Joseph，R.、Kahn，D.、Knoblock，C.、Minton，S.、Pérez，M.A.、Reilly，S.，Veloso，M.、Wang，X。 相关软件： UCPOP；图形平面图；KQML… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
多德 34份文件引用(2003–2022) 软件作者： 迪内什·阿查里亚 相关软件： CAViaR；风险度量；引导… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
大学数学 34份文件引用(2016–2023) 软件作者： 沃沃德斯基，V.，莫特伯格，A.，阿伦斯，B.，莱利，C.，潘尼拉，T.，马特，R。 相关软件： github；Coq；立方… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
布瑞恩 23篇文献引用(2008–2023) 软件作者： Goodman DFM、Brette R 相关软件： 神经元；巢穴；Pynn… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
Cg公司 18篇文献引用(2006–2012) 软件作者： 威廉·R·马克；R.Steven Glanville；库尔特·阿克利（Kurt Akeley）；马克·J·基尔加德 相关软件： CUDA；OpenGL；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
CVXR公司 29篇文献引用(2019–2024) 软件作者： 傅安琪（Anqi Fu）、巴拉苏布拉曼尼亚人（Balasubramanian Narasimhan）、斯蒂芬·博伊德（Stephen Boyd） 相关软件： CVX；CVXPY；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
IT传感器 24篇文献引用(2014–2023) 软件作者： E.Miles Stoudenmire；史蒂文·怀特 相关软件： github；碱性磷酸酶；进化… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
HermiT公司 26篇文献引用(2013–2023) 软件作者： 格利姆，伯尔特；伊恩·霍洛克斯（Ian Horrocks）；Boris Motik；乔戈斯·斯托洛斯（Giorgos Stoilos）；王哲；右采煤机。 相关软件： 颗粒；FaCT++；Konclude… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
DACTL公司 28篇文献引用(1987–2015) 软件作者： John R.W.Glauert、Richard Kennaway、George A.Papadopoulos、Ronan Sleep 相关软件： 迭戈；进度；蒙斯特… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
SETL公司 28篇文献引用(1986–2023) 软件作者： 施瓦茨，J.T。；杜瓦，R.B.K。；杜宾斯基，E。；肖恩伯格，E。 相关软件： Z；JSetL；裁判… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；一般代数系统（08-XX）…
伊甸园 23篇文献引用(2001–2018) 软件作者： U.Klusik、Y.Ortega-Mallén、R.Peña 相关软件： 哈斯克尔；胶；GHC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PAKCS公司 25篇文献引用(1994–2020) 软件作者： M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner 相关软件： 玩具；咖喱；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CellML手机 17篇文献引用(2001–2021) 软件作者： 沃伦·赫德利。；梅兰妮·纳尔逊（Melanie R.Nelson）。；Bullivant，David P。；尼尔森，Poul F。 相关软件： 贞洁；日晷；COPASI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
摩西 11份文件引用(2012–2023) 软件作者： Koehn P、Hoang H、Birch A、Callison-Burch C、Federico M、Bertoldi N、Cowan B、Shen W、Moran C、Zens R、Dyer C、Bojar O、Constantin A、Herbst E 相关软件： BLEU；欧罗巴；SRILM… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
OilEd公司 24篇文献引用(2001–2008) 软件作者： 肖恩·贝赫霍夫（Sean Bechhofer）；伊恩·霍洛克斯（Ian Horrocks）；卡罗尔·高布尔（Carole Goble）；罗伯特·史蒂文斯 相关软件： OntoEdit；赛车手；保护… 主要字段： 数学逻辑与基础（03-XX）；算子理论（47-XX）；统计学（62-XX）…
达卡波 15篇文献引用(2009–2023) 软件作者： Blackburn，S.M.、Garner，R.、Hoffman，C.、Khan，A.M.、McKinley，K.S.、Bentzur，R.，Diwan，A.、Feinberg，D.、Frampton，D.、Guyer，S.Z.、Hirzel，M.、Hosking，A.、Jump，M.，Lee，H.、Moss，J.E.B.、Phansalkar，A.、Stefanovic，D.、VanDrunen，T.、von Dincklage，D.和Wiedermann，B 相关软件： 烟尘；方面J；SPECjvm2008… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
PolyTOIL公司 引用于19份文件(1997–2014) 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 相关软件： 羽量级Java；埃菲尔；测试版… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
美味的 22篇文献引用(2011–2023) 软件作者： Henecka，W.、Kögl，S.、Sadeghi，A.-R.、Schneider，T.、Wehrenberg，I。 相关软件： ABY；VMCrypt公司；FairplayMP… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
公式 4份文件引用(2016–2022) 软件作者： 阿奇姆·泽利斯（Achim Zeileis）、伊夫斯羊角面包（Yves Croissant） 相关软件： R；GAMLSS；ggplot2… 主要字段： 统计学（62-XX）
汞R 21篇文献引用(2011–2022) 软件作者： 中山弘；肯塔州西山；马赛尤基·诺罗；Katsuyoshi Ohara；Sei，Tomonari；高山、Nobuki；赤池竹村 相关软件： Risa/Asir；DLMF；R、 … 主要字段： 结合环与代数（16-XX）；几个复变量与解析空间（32-XX）；特殊功能（33-XX）…
LaTeXML 22篇文献引用(2008–2019) 软件作者： 德扬·基涅夫；海因里希·斯塔默约翰斯；布鲁斯·米勒（Bruce R.Miller）。；迈克尔·科尔哈斯 相关软件： 乳胶；DLMF；arXMLiv… 主要字段： 历史与传记（01-XX）；特殊功能（33-XX）；计算机科学（68-XX）
SQL摘要 在16份文件中引用(1999–2017) 软件作者： 丹·拉斯穆森；罗纳德·雅格 相关软件： 圣蒂克；PostgreSQL；模糊剪辑 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
雪 21篇文献引用(2006–2022) 软件作者： 卢克·蒂尔尼（Luke Tierney）；A.J.罗西尼。；李娜 相关软件： 雪；R；Rcpp… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ASE公司 3份文件引用(2019–2023) 软件作者： Hjorth Larsen，A。；Jörgen Mortensen，J。；Blomqvist，J。；卡斯泰利，I.E。；Christensen，R。；Dułak先生。；弗里斯·J。；格罗夫斯，M.N。；锤子，B。；哈格斯，C。；Hermes，E.D。；P.C.詹宁斯。；Bjerre Jensen，P。；科尔莫德，J。；基特钦，J.R。；Leonhard Kolsbjerg，E。；14库巴尔，J。；Kaasbjerg，K。；Lysgaard，S。；Bergmann Maronsson，J。；Maxson，T。；Olsen，T。；Pastewka，L。；Peterson，A。；罗斯加德，C。；希奥茨，J。；舒特，O。；奇怪，M。；蒂格森，K。；Vegge，T。；维勒姆森，L。；Walter，M。；曾，Z。；雅各布森，K.W 相关软件： 蟒蛇；脓毒原；数字标识… 主要字段： 概率论与随机过程（60-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
吉帕克 20篇文献引用(1994–2023) 软件作者： Codsi G。；皮尔逊·K·R。；莫纳什大学商业与经济学院政策研究中心 相关软件： GAMS；路径求解器；MPSGE… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
珍珠包 18篇文献引用(1998–2008) 软件作者： 霍斯蒂斯，E.N。；赖斯，J.R。；Weerawarana，S。；卡特林，A.C。；Papachiou，P。；Wang，K.-Y。；盖塔茨，M。 相关软件： ELLPACK；PYTHIA公司；LAPACK… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
VORPAL公司 17篇文献引用(2004–2019) 软件作者： 切特·尼特（Chet Nieter）；约翰·R·卡里。 相关软件： OSIRIS；快速采集；OOPIC… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
cminor（小） 17篇文献引用(2007–2016) 软件作者： A.W.阿佩尔、S.布拉齐。 相关软件： Coq；CompCert；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Dlib毫升 在16份文件中引用(2014–2023) 软件作者： 戴维斯·金 相关软件： Scikit；蟒蛇；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
洛尔 6篇文献引用(2002–2010) 软件作者： McHugh J、Abiteboul S、Goldman R、Quass D、Widom J。 相关软件： XPath；XQuery；ViST… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
德尔芬 17篇文献引用(2003–2020) 软件作者： Schürmann，C.、Fontana，R.、Liao，Y.、Poswolsky，A。 相关软件： Twelf；Coq；白鲸… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PSP管理 18篇文献引用(2001–2021) 软件作者： M.A.Kirklionis、O.Diekmann、B.Lisser、M.Nool、A.M.de Roos、B.P.Sommeijer 相关软件： Matlab；MATCONT；DDE-BIFTOOL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
乱涂 在16份文件中引用(2015–2022) 软件作者： 吉田，N。；胡，R。；Neykova，R。；Ng，N。 相关软件： SPY；奶牛；JBoss… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SoDA公司 17篇文献引用(2004–2023) 软件作者： 约翰·钱伯斯。 相关软件： R；晶格；质量（R）… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
CertiCoq认证 17篇文献引用(2017–2022) 软件作者： Anand，A.，Appel，A.，Morrisett，G.，Paraskevopoulou，Z.，Pollack，R.，Belanger，O.S.，Sozeau，M.，Weaver，M。 相关软件： Coq；CakeML；OEuf… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
格格作响 12份文件引用(2010–2021) 软件作者： 格雷厄姆·威廉姆斯 相关软件： R；RGtk2；RKWard… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
可视信息系统 10篇文献引用(2005–2015) 软件作者： Brayton，R.K.等人。 相关软件： NuSMV；自旋蛋白；LTL2BA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
胶水 7份文件引用（2021年-2023年） 软件作者： Wang，A.、Singh，A.、Michael，J.、Hill，F.、Levy，O.、Bowman，S.R。 相关软件： BERT；RoBERTa公司；SkuAD… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
MPTinR公司 在16份文件中引用(2014–2023) 软件作者： 亨利克·辛格曼；大卫·凯伦；昆廷·格罗诺；克里斯蒂安·米勒；Akhil S Bhel公司 相关软件： 多树；TreeBUGS；R、 … 主要字段： 组合数学（05-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
pyOpt选项 14篇文献引用(2012–2023) 软件作者： 鲁本·佩雷斯（Ruben E.Perez）。；彼得·詹森（Peter W.Jansen）。；Joaquim R.R.A.Martins。 相关软件： SNOPT；顶部.m；Python… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SenticNet公司 6篇文献引用(2017–2022) 软件作者： 坎布里亚E.、斯佩尔R.、哈瓦西C.、侯赛因A。 相关软件： SentiWordNet；概念网；WordNet… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BETL公司 14篇文献引用(2015–2021) 软件作者： R.Hiptmair、L.Kielhorn 相关软件： Gmsh；视差；BEM++… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
蚱蜢 14篇文献引用(2015–2023) 软件作者： R.Piskac、T.Wies和D.Zufferey 相关软件： 达夫尼；VeriFast；毒蛇… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OxMetrics公司 在13份文件中引用(2007–2020) 软件作者： 克林特·康明斯；尤尔根·A·门尼克；David F Hendry；暹粒·扬·库普曼；塞巴斯蒂安·洛朗；马吕斯·乌姆斯；尼尔·R·爱立信；安德鲁·哈维（Andrew C Harvey）；尼尔·谢泼德（Neil Shephard）；查尔斯·博斯 相关软件： 公牛；R；长备忘录… 主要字段： 历史与传记（01-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
卢比/夸脱 11份文件引用(2006–2022) 软件作者： Karl W Broman、Hao Wu、Gary Churchill、aunak Sen 相关软件： R；onemap；藤架… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
可视化DSD 15篇文献引用(2013–2023) 软件作者： Lakin，M.R.、Youssef，S.、Polo，F.、Emmott，S.和Phillips，A。 相关软件： 棱镜；z3；Z34Bio… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）…
BoogiePL公司 11份文件引用(2005–2020) 软件作者： DeLine，R.，Leino，K.R.M。 相关软件： z3；规范#；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
散居国外的人 14篇文献引用(2000–2009) 软件作者： 玛雅·拉马纳；Jayant R.哈里萨。 相关软件： —— 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
夸特 8份文件引用(2017–2023) 软件作者： Christoph W Groth、Michael Wimmer、Anton R Akhmerov、Xavier Waintal 相关软件： 蟒蛇；pybinding；TBTK… 主要字段： 偏微分方程（35-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）…
柱塞 14篇文献引用(1991–2009) 软件作者： 乞丐，伊凡；吴玲；安德烈亚斯·穆勒；彼得·普尔兹比舍夫斯基；罗兰·R；威廉·索耶 相关软件： 进度；SPARSKIT；ITSOL公司 主要字段： 代数几何（14-XX）；范畴理论；同调代数（18-XX）；实函数（26-XX）…
贝叶斯雷 在13份文件中引用(2019–2023) 软件作者： Sara van Erp；丹尼尔·奥伯斯基（Daniel L.Oberski）。；乔里斯·穆德 相关软件： 斯坦；brms；螺母… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
COULFG公司 在13份文件中引用(1985–2022) 软件作者： A.R.巴奈特 相关软件： COULCC公司；FGH；数字… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；数值分析（65-XX）…
Ebimage公司 7份文件引用(2015–2022) 软件作者： 巴乌，格里戈伊尔；福克斯，弗洛里安；Oleg Sklyar；Michael Boutros；沃尔夫冈·胡贝尔 相关软件： R；oro.nifti；oro.dicom… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
开放式多媒体 9份文件引用(2015–2023) 软件作者： 斯坦福大学OpenMM团队；P.Eastman、M.S.Friedrichs、J.D.Chodera、R.J.Radmer、C.M.Bruns、J.P.Ku、K.A.Beauchamp、T.J.Lane、L.P.Wang、D.Shukla、T.Tye、M.Houston、T.Stich、C.Klein、M.R.Shirts、V.S.Pande 相关软件： Gromacs公司；CUDA；Python… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；流体力学（76-XX）…
生锈带 在13份文件中引用(2018–2022) 软件作者： Jung，R.、Jourdan，J.H.、Krebbers，R.和Dreyer，D。 相关软件： 锈蚀；Coq；工具链… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SMV公司 在13份文件中引用(1986–2018) 软件作者： Ed Clarke；K.L.McMillan；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
多时性 11份文件引用(2004–2016) 软件作者： INRIA公司；Talpin，J.-P、Le Guernic，P.、Shukla，S.K.、Gupta，R.K.、Doucet，F。 相关软件： 酯类；卢斯特；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
f2低压 10篇文献引用(2011–2023) 软件作者： Lee，J.、Palla，R。 相关软件： CCalc；Cplus2ASP；Coala… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
图形Grep 7份文件引用(2008–2020) 软件作者： R.Giugno、D.Shasha 相关软件： TALE公司；新加坡；G字符串… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）