Modelica公司 120篇文献引用(2000–2024) 软件作者： 耶布拉，L.J。；贝伦格尔，M。；多尔米多，S。；E.扎扎。 相关软件： Dymola；Matlab；OpenModelica… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PDDL公司 95篇文献引用(2000–2023) 软件作者： 福克斯，M。；Long，D。；Ghallab，M.、Howe，A.、Knoblock，C.、McDermott，D.、Ram，A.、Veloso，M.，Weld，D.、Wilkins，D。 相关软件： 图形平面图；随身听；SAPA… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
阿伯 81份文件引用(2015–2024) 软件作者： 弗雷德里克·约翰逊 相关软件： DLMF；SageMath；PARI/GP… 主要字段： 数论（11-XX）；特殊功能（33-XX）；偏微分方程（35-XX）…
MuJoCo公司 38篇文献引用(2016–2024) 软件作者： E.Todorov、T.Erez、Y.Tassa 相关软件： OpenAI健身房；亚当；GitHub… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
英国 16篇文献引用(2003–2021) 软件作者： 麦地那A、拉基纳A、马塔I、拜尔斯J 相关软件： 和弦；Globus工具包；脚本… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
FDR标签 22篇文献引用(2016–2023) 软件作者： 李，豪森；阿克塞尔·蒙克；汉内斯·西林 相关软件： wbs；R；早餐… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
TRHD公司 21篇文献引用(2015–2023) 软件作者： 西乔伊，C.D。；查图维迪，S。 相关软件： ICF3D；宙斯；HLLE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
HyFIS公司 9份文件引用(2002–2022) 软件作者： Kim J、Kasabov N 相关软件： ANFIS；DENFIS；树… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
生锈带 13份文件引用(2018–2022) 软件作者： Jung，R.、Jourdan，J.H.、Krebbers，R.和Dreyer，D。 相关软件： 锈蚀；Coq；工具链… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Siconos公司 13份文件引用(2010–2022) 软件作者： Siconos开发团队 相关软件： 路径求解器；pvlib；CasADi… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）…
MBSymba手机 12份文件引用(2004–2021) 软件作者： 地块，R。；M·达里奥。 相关软件： 枫树；罗德斯；Ipopt… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
fdANOVA分析 在11份文件中引用（2019年至2024年） 软件作者： 托马斯·戈雷基；乌卡斯·斯马加 相关软件： fda（R）；R；fda.usc… 主要字段： 总体主题；藏品（00-XX）；功能分析（46-XX）；概率论与随机过程（60-XX）…
驾驶员侧车门开关（DDS） 9份文件引用(2021–2023) 软件作者： 莱文特·图内尔·梅迪·卡里米 相关软件： 阿方索；ECOS；SCS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；实函数（26-XX）；凸和离散几何（52-XX）…
KnowRob公司 9份文件引用(2016–2020) 软件作者： 莫里茨·特诺思（Moritz Tenorth）；迈克尔·贝茨 相关软件： 博客；贝叶斯OWL；PR-OWL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；统计学（62-XX）…
WSDFU（WSDFU） 8份文件引用(2000–2016) 软件作者： 福村义彦；曾次郎Konishi；罗伯特·格莱克 相关软件： 幼儿保育和教育；STL；Refal公司 主要字段： 计算机科学（68-XX）
CPFLOW公司 6篇文献引用(1994–2015) 软件作者： —— 相关软件： PRMLT；MUMPS；Graphviz… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
磅/平方英寸 7份文件引用(2012–2022) 软件作者： Powersim公司。 相关软件： Matlab；Turbo Pascal；SymPowerSystems… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
摄像机 6篇文献引用(2015–2021) 软件作者： Wu，D。；G.K.史密斯 相关软件： R；烤面包；glmnet… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
DiSMEC公司 6篇文献引用(2019–2022) 软件作者： 巴巴尔，R。；Schölkopf，B。 相关软件： LIBLINEAR；单词2vec；FastXML… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
PAROC公司 6篇文献引用(2015–2021) 软件作者： 皮斯蒂科普洛斯，E.N。；Diangelakis，N.A。；Oberdieck，R。；Papathanasiou，M.M。；纳斯库，I。；M·孙。 相关软件： POP；安提戈内；MPT… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
挤压探测 引用于3份文件(2020–2023) 软件作者： 吴碧琴（Bichen Wu）、万阿尔文（Alvin Wan）、阿恩多拉（Forrest Iandola）、金彼得（Peter H.Jin）、科特·凯泽尔（Kurt Keutzer） 相关软件： 验证；CIFAR；基蒂… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
网格实验室-D 4份文件引用(2014–2022) 软件作者： D.P.Chassin、K.Schneider、C.Gerkensmeyer 相关软件： 电子；yaml-cpp；犰狳… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
棒棒糖 5份文件引用(2010–2016) 软件作者： Karl Mazurak；史蒂夫·兹丹塞维奇 相关软件： VeriML；雷卡姆；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
Proclets公司 5份文件引用(2002–2021) 软件作者： 范德阿尔斯特，W.M.P。；巴塞尔梅斯，P。；埃利斯，C.A。；韦纳，J。 相关软件： 蛋白质；swrl；颗粒… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
PSCAD公司 引用于3份文件(2015–2019) 软件作者： 马尼托巴水电国际有限公司各部门。 相关软件： Matlab；Simulink；神经网络工具箱… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；光学、电磁理论（78-XX）…
STATCOM公司 4份文件引用(2009–2021) 软件作者： 辛格，B。；萨哈，R。；钱德拉，A。；Al-Haddad，K。 相关软件： Matlab公司 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
dSTEM公司 4份文件引用(2016–2022) 软件作者： 程丹；何志兵；阿明·施瓦茨曼 相关软件： FDRSeg；R；博拉索… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学编程（90-XX）
EinS公司 4份文件引用(1998–2007) 软件作者： 科利纳，S.A 相关软件： 数学张量；不计算成本；减少… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
加内特 1份文件引用(2014) 软件作者： N.Agarwal、T.Krishna、L.-S.Peh、N.K.Jha 相关软件： PARSEC；SICOSYS公司；哈西姆… 主要字段： 信息与通信理论，电路（94-XX）
GSVA公司 4份文件引用(2014–2021) 软件作者： Hänzelmann S、Castelo R、Guiney J 相关软件： 生物导体；MSigDB；烤面包… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
数学能量 引用于3份文件(2021–2023) 软件作者： T.Clees、A.Baldin、P.Benner、S.Grundel、C.Himpe、B.Klaassen、F.Kuster、N.Marheineke、L.Nikitina、I.Nikitin、J.Pade、N.Stahl、C.Strohm、C.Tischendorf、A.Wirsen 相关软件： 摩根；MATLAB ODE套件；emgr… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；系统论；控制（93-XX）
ParSSSE公司 4份文件引用(2011–2018) 软件作者： 孙燕华；郑耿彬；普里蒂什·杰特利；Laxmikant V.卡莱。 相关软件： GAMS；ParaSCIP；卵石… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
PowerDynamics.jl公司 1份文件引用(2021) 软件作者： 安东·普列茨奇、拉斐尔·科格勒、萨宾·奥尔、朱莉娅·梅里诺、阿西尔·吉尔·德穆罗、简·李、克里斯蒂娜·沃格尔、弗兰克·赫尔曼 相关软件： 朱莉娅；微分方程.jl；随机延迟DiffEq.jl… 主要字段： 动力系统和遍历理论（37-XX）
统计 引用于3份文件(2008–2014) 软件作者： 分析软件 相关软件： MINITAB公司；SPSS软件；Excel… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…
SWARM公司 4份文件引用(2010–2016) 软件作者： Bader，D.A。；卡纳德，V。；Madduri，K。 相关软件： OpenCL；英特尔TBB；快速流动… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
暗黑破坏神 引用于3份文件(2016–2019) 软件作者： 根特大学；乔纳斯·梅贝；比约恩·德萨特 相关软件： CompCertS；会计师事务所；岩盐… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
IKOS公司 2份文件引用（2015年至2022年） 软件作者： 纪尧姆·布拉特（Guillaume Brat）、豪尔赫·纳瓦斯（Jorge A.Navas）、尼亚·什（Nija Shi）、阿尔诺·维尼特（Arnaud Venet） 相关软件： 停机坪；阿斯匹克；PAGAI… 主要字段： 计算机科学（68-XX）
网鱼 2份文件引用(2022–2023) 软件作者： 蒂姆·库普曼斯（Tim Coopmans）、罗伯特·克尼根斯（Robert Knegjens）、阿克塞尔·达尔伯格（Axel Dahlberg）、大卫·迈尔（David Maier）、洛克·尼斯特恩（Loek Nijsten）、朱利奥利维拉·菲尔霍（Julio de Oliveira Filho）、马蒂恩·帕彭德雷希特（Martijn Papendrecht）、朱莉安·拉比（Julian Rabbie）、菲利普·罗兹普·戴克（Filip Rozp \ 相关软件： SeQUeNCe；QuNetSim；Scikit… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
SPC-PM公司 引用于3份文件(2018–2019) 软件作者： 梅耶，A。；等。 相关软件： —— 主要字段： 可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
热电厂 2份文件引用(2007–2020) 软件作者： F.Casella、A.Leva 相关软件： Modelica；蟒蛇；TESPy… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
贝叶斯设计 在0个文档中引用 软件作者： Barry Eggleston、Doug Wilson、Becky McNeil、Joseph Ibrahim、Diane Catellier 相关软件： 贝叶斯DP；ph2层；BAEssd… 主要字段： ——
ConScript（ConScript） 2份文件引用(2013–2021) 软件作者： Meyerovich，L。；B.利夫希茨。 相关软件： FlowFox；水仙；监狱… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
消费物价指数 2份文件引用(2021–2022) 软件作者： David S.Watson。；马文·N·赖特。 相关软件： 形状；质量（R）；PMA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
EnerJ公司 2份文件引用(2018–2022) 软件作者： Sampson，A.、Ditel，W.、Fortuna，E.、Gnanapragasam，D.、Ceze，L.、Grossman，D。 相关软件： zfp；github；FPTuner… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
弗兰肯梅拉 1份文件引用(2016) 软件作者： Andrew Adams等人 相关软件： —— 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；信息与通信理论，电路（94-XX）
功能观察员 2份文件引用(2019–2020) 软件作者： 哈桑·金格雷夫（Hassan A.Kingravi）、哈沙尔·马斯克（Harshal Maske）、吉里什·乔达里（Girish Chowdhary） 相关软件： odmd；PRMLT；GitHub… 主要字段： 功能分析（46-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
GRP测试 2份文件引用(2020–2023) 软件作者： 贾纳·扬科娃；Rajen D.Shah。；彼得·伯尔曼；理查德·萨姆沃思。 相关软件： XGBoost；glmnet；R（右） 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
GXNOR-网络 2份文件引用(2018–2020) 软件作者： 邓磊；焦鹏；裴靖；吴振志；李国奇 相关软件： aplore3；FitNets；ProxylessNAS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；计算机科学（68-XX）…
JRIF公司 2份文件引用(2019–2021) 软件作者： Elisavet Kozyri；欧文·雅顿；安德鲁·迈尔斯（Andrew C.Myers）。；弗雷德·施耐德。 相关软件： Jif；FlowFox；存档正式证据… 主要字段： 计算机科学（68-XX）
蒙特雷 2份文件引用(2018–2019) 软件作者： 杰里米·斯威齐（Jeremy E.Sweezy）。 相关软件： mlrnd；推力；OpenMC… 主要字段： 数值分析（65-XX）；统计力学，物质结构（82-XX）
MPC工具箱 2份文件引用(2015) 软件作者： N.F.Gade-Nielsen、J.B.Jorgensen和B.Dammann 相关软件： Matlab；PARSMI公司；并行计算工具箱… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
ompVerify（omp验证） 在0个文档中引用 软件作者： V.巴苏帕利；T.Yuki；S.Rajopadhye；A.Morvan；S.德里安；P.Quinton；D.温纳科特 相关软件： github；瓦尔格林德；CUDA公司 主要字段： ——
PERMORY公司 2份文件引用(2018–2023) 软件作者： 罗曼·帕尔（Roman Pahl）、赫尔穆特·施费尔（Helmut Schäfer） 相关软件： bootlib；MapSplice；RSEM… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
PLNseq公司 2份文件引用(2020–2022) 软件作者： 张，H。；徐，J。；蒋，N。；胡，X。；罗，Z。 相关软件： R；ZIFA；风景优美… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
稳健相关性工具箱 1份文件引用（2018年） 软件作者： 西里尔·佩内特（Cyril R.Pernet）；兰德·威尔科克斯；纪尧姆·A·罗塞莱特 相关软件： R；循环统计；熊猫… 主要字段： 统计学（62-XX）
WInc3D软件 1份文件引用(2021) 软件作者： Deskos G.、Laizet S.、Palacios R。 相关软件： Xcompact3d；松散3d；2DECOMP公司 主要字段： 数值分析（65-XX）；流体力学（76-XX）
AEOLUS公司 1份文件引用(2015) 软件作者： Grunnet JD、Soltani M、Knudsen TK、Kragelund M、Bak T 相关软件： SOWFA公司 主要字段： 系统论；控制（93-XX）
奥杜尔 在0个文档中引用 软件作者： L.Vanfertti；G.M.Jónsdóttir；医学硕士。；阿尔马斯；E.Rebello；S.R.Firouzi；M.波德特 相关软件： BabelFish；虚拟仪器 主要字段： ——
CSPlib 1份文件引用(2024) 软件作者： 迪亚斯·伊巴拉（Díaz-Ibara），奥斯卡·H·。；Kim，Kyungjoo；萨夫塔，科斯敏；Najm，Habib N。 相关软件： OpenBLAS；PyCSP；Kokkos… 主要字段： 数值分析（65-XX）；生物学和其他自然科学（92-XX）
投掷 1份文件引用(2014) 软件作者： 王丹瑶；Lo，Charles；贾斯米娜·瓦西尔耶维奇（Jasmina Vasiljevic）；纳塔莉·恩里特·杰格尔（Enright Jerger）；杰·格雷戈里·斯蒂芬 相关软件： SICOSYS公司；哈西姆；SimFlex… 主要字段： 信息与通信理论，电路（94-XX）
EPOCHS公司 1份文件引用(2017) 软件作者： K.Hopkinson、X.Wang、R.Giovani、J.Thorp、K.Birman、D.Coury 相关软件： —— 主要字段： 光学、电磁理论（78-XX）；信息与通信理论，电路（94-XX）
ExaGO公司 在0个文档中引用 软件作者： 施里朗Abhyankar；奴隶贝利斯；塔马拉·贝切亚克；杰西·霍尔泽（Jesse Holzer）；阿舍，曼奇内利；卡梅隆·卢瑟福 相关软件： PETSc；HiOp；RAJA… 主要字段： ——
过滤器函数 1份文件引用(2023) 软件作者： T.Hangleiter、J.D.Teske、H.Bluhm 相关软件： JAX；QISKit；QuTiP… 主要字段： 数值分析（65-XX）；量子理论（81-XX）
通用电气int.f 1份文件引用(2014) 软件作者： Foppa I、Spiegelman D 相关软件： ge_trend_v2；inteff；Stata公司 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
ge_trend_v2 1份文件引用(2014) 软件作者： 斯皮格曼D，洛根R 相关软件： 通用电气公司（ge.int.f）；inteff；Stata公司 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
GLIDE公司 1份文件引用（2018年） 软件作者： Kam-Thong，T.，Azencott，C.A.，Cayton，L.，Pütz，B.，Altmann，A.，Karbalai，N.，Sämann，P.G.，Schölkopf，B.，Müller-Myhsok，B。 相关软件： 快速发作；BLR；R（右） 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
全球ARTP 1份文件引用(2014) 软件作者： 纳塔利亚·维洛·特杰多；Calle，M.Luz 相关软件： 全球GSA；R；起重机 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
网格香料 1份文件引用(2019) 软件作者： K.Anderson、J.Du、A.Narayan、A.E.Gamal 相关软件： 使徒；Python PDEVS；GTW… 主要字段： 运筹学，数学编程（90-XX）
700英里 1份文件引用(1977) 软件作者： 理查德·费希尔（Richard N.Fisher）。；戈登·麦夸里（Gordon W.McQuarrie）。；巴勒斯 相关软件： IBM BAL 主要字段： 计算机科学（68-XX）