邦明牌手表 235篇文献引用(1995–2023) 软件作者： 皮埃尔·博纳米；Lorenz T.Biegler。；Andrew R.康涅狄格。；热拉尔·科努约尔斯；格罗斯曼，伊格纳西奥·E·。；卡尔·D·莱尔德。；Jon Lee；安德里亚·洛迪；弗朗索瓦·马戈；尼古拉斯·萨瓦亚；安德烈亚斯·瓦赫特 相关软件： Ipopt；CPLEX；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SDPNAL公司+ 94份文件引用(2014–2024) 软件作者： 杨柳琴；孙德芬；杜金川 相关软件： SDPT3；塞杜米；QSDPNAL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
GloMIQO公司 86篇文献引用(2009–2023) 软件作者： C.A.Floudas；露丝·米塞纳 相关软件： SCIP；BARON公司；安提戈内… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；统计学（62-XX）…
凯伊马拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
射频前端模块 引用于57份文件(2005–2023) 软件作者： 卡斯滕森，C；巴里亚瓦蒂，C 相关软件： Matlab；na14；iFEM… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
埃拉托 40篇文献引用(1979–2022) 软件作者： Gruber，R。；Troyon，F。；伯杰，D。；伯纳德，L.C。；罗塞特，S。；施赖伯，R。；科纳，W。；施耐德，W。；罗伯茨，K.V。 相关软件： XTOR；奶酪；加托… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
Clingcon公司 39篇文献引用(2009–2022) 软件作者： 马丁·格布瑟；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
STeP公司 引用于33份文件（1997年至2015年） 软件作者： N.Björner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe 相关软件： PVS；自旋蛋白；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
2EBD-HPE型 15篇文献引用(2014–2021) 软件作者： 蒙特罗，雷纳托特区。；卡米洛·奥尔蒂斯；贝纳尔·斯瓦特。 相关软件： SDPNAL+；DIMACS；SDPT3… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
全赢 8份文件引用(2000–2023) 软件作者： Rogue Wave软件公司。 相关软件： C-DVM；DeepLOB；马莫特… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
芯片 10篇文献引用(2015–2022) 软件作者： 托马斯·哈格斯特罗姆（Thomas Hagstrom）；丹尼尔·阿佩尔 相关软件： 奥根；DG_DATH_ELASTIC_V1.0；CMPGRD… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
UNA折叠 6篇文献引用(2012–2020) 软件作者： 马卡姆，N.R.，祖克，M。 相关软件： 多重折叠；Pfold；维也纳RNA… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
李斯特 4份文件引用(2014–2020) 软件作者： Zachary DeVito、Niels Joubert、Francisco Palacios、Stephen Oakley、Montserrat Medina、Mike Barrientos、Erich Elsen、Frank Ham、Alex Aiken、Karthik Duraisamy、Eric Darve、Juan Alonso、Pat Hanrahan 相关软件： 萤火虫；FEniCS；PyOP2… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ADMIXMAP公司 4份文件引用(2006–2022) 软件作者： Hoggart CJ、Shriver MD、Kittles RA、Clayton DG、McKeigue PM 相关软件： 结构；弗拉佩；祖先地图… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
SCL-HYB总成 5份文件引用(2016–2023) 软件作者： Satarić，Bogdan；斯拉夫尼奇，弗拉基米尔；Aleksandar Belić；安顿巴拉日；保萨米·穆鲁加南丹（Paulsamy Muruganandam）；Adhikari，Sadhan K。 相关软件： imagtime3d-hyb；实时3d-hyb；GP-SCL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
imagtime3d-hyb 5份文件引用(2016–2023) 软件作者： Bogdan Satarić、Vladimir Slavnić、Aleksandar Belić、Antun Balaz；，Paulsamy Muruganandam，Sadhan K.Adhikari 相关软件： 总成SCL-HYB；实时3d-hyb；GP-SCL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
实时3d-hyb 5份文件引用(2016–2023) 软件作者： Bogdan Satarić、Vladimir Slavnić、Aleksandar Belić、Antun Balaz；，Paulsamy Muruganandam，Sadhan K.Adhikari 相关软件： 总成SCL-HYB；imagtime3d-hyb；GP-SCL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
SOSlib公司 3份文件引用(2012–2019) 软件作者： Lu J、Muller S、MachnéR、Flamm C 相关软件： 日晷；COPASI；R、 … 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）
HyCC公司 4份文件引用(2020–2023) 软件作者： Büscher，N.、Demmler，D.、Katzenbeisser，S.、Kretzmer，D.、Schneider，T。 相关软件： ABY；怀孢子虫；美味… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
高血压 4份文件引用(2008–2019) 软件作者： 福斯托·塞塞戈；亚历山德罗·朱阿（Alessandro Giua）；卡拉·西特祖 相关软件： Matlab；古罗比；SimHPN公司 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BQCD公司 3份文件引用(2017–2018) 软件作者： 中村义文（Yoshifumi Nakamura），Hinnerk Stüben 相关软件： 色度；JaxoDraw；FFTW… 主要字段： 数值分析（65-XX）；量子理论（81-XX）
HLIO公司 3份文件引用(2015–2019) 软件作者： 巴勃罗，布瑞斯；Vytiniotis，Dimitrios；亚历杭德罗·鲁索 相关软件： 哈斯克尔；流量凸轮；LOLA… 主要字段： 计算机科学（68-XX）
Talbot套房 3份文件引用(2014–2018) 软件作者： 劳拉·安东内利；科尔萨罗、斯特凡尼亚；塞尔达·马里诺；马里亚罗萨利亚里扎迪 相关软件： Matlab；算法682；LaurentCoeffs… 主要字段： 积分变换，运算微积分（44-XX）；数值分析（65-XX）
算法865 1份文件引用(2010) 软件作者： 弗雷德·古斯塔夫森（Fred G.Gustavson）、约翰·里德（John K.Reid）、杰日·瓦希涅夫斯基（Jerzy Wa sh niewski） 相关软件： 算法679；林帕克；BLAS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
混合波动 1份文件引用(2015) 软件作者： 奥利维埃·布伊索（Olivier Bouissou）；埃里克·古鲍特（Eric Goubault）；Sylvie推杆；卡里姆·特卡尔；弗兰克·维德琳 相关软件： GRKLib公司 主要字段： 计算机科学（68-XX）
MODESTO公司 2份文件引用(2020–2023) 软件作者： T.Gysi、T.Grosser、T.Hoefler 相关软件： 萤火虫；ExaSlang；Petalisp… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
QSYM公司 1份文件引用(2023) 软件作者： Yun I、Lee S、Xu M、Jang Y、Kim T。 相关软件： GitHub；内乌兹；FuzzGen… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DDFS3D 1份文件引用(2021) 软件作者： Wong，Louis Ngai Yuen；崔欣 相关软件： – 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
HybCore公司 1份文件引用(2020) 软件作者： 谢尔盖·冈查洛夫（Sergey Goncharov）；内维斯（Neves）、雷纳托（Renato）；何塞·普伦萨 相关软件： Modelica；OCaml；GHCi… 主要字段： 计算机科学（68-XX）
HyDiff（透明度差异） 1份文件引用(2023) 软件作者： 诺勒，亚尼克；科琳娜·帕萨雷努（Corina S.Pasareanu）。；马塞尔·伯赫梅；孙友成；阮、黄林；拉尔斯·格伦斯克 相关软件： GitHub；纽兹；FuzzGen… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
QCOR（质量控制报告） 在0个文档中引用 软件作者： Tiffany M.Mintz、Alexander J.Mccaskey、Eugene F.Dumitrescu、Shirley V.Moore、Sarah Powers、Pavel Lougovski 相关软件： SciPy；开放费米子；奥奎斯特拉… 主要字段： –