ITSOL公司 155份文件引用(1991–2024) 软件作者： 李娜；布莱恩·苏霍梅尔；丹尼尔·奥塞·库福尔（Daniel Osei-Kuffuor）；李瑞鹏；萨阿德 相关软件： SPARSKIT；爆破；ILUT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（比基尼） 相关软件： 莫德；咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
SETHEO公司 引用于118篇文献(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
CVODE公司 67篇文献引用(1997–2023) 软件作者： 科恩，S.D.，辛德马什，A.C。 相关软件： 日晷；罗德斯；坎特拉… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
MMT公司 54篇文献引用(2009–2022) 软件作者： 弗洛里安·拉贝 相关软件： OMDoc；质量管理团队；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
信号 51篇文献引用(1987–2020) 软件作者： 诺瓦克，大卫；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
StFinMetrics公司 52篇文献引用(2003–2024) 软件作者： 埃里克·齐沃特（Eric Zivot）；王家辉 相关软件： R；预测；预测… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
OGDF公司 44篇文献引用(2008–2023) 软件作者： 马库斯·奇马尼；卡斯滕·古特温格；迈克尔·朱格尔（Michael Jünger）；卡斯滕·克莱因；佩特拉·穆策尔（Petra Mutzel）；舒尔茨 相关软件： 斯坦利布；GDToolkit；SCIP… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数值分析（65-XX）…
SINTEF公司 40篇文献引用(2007–2023) 软件作者： Hasle，Geir（编辑）；Lie，Knut Andreas（编辑）；Ewald Quak（编辑） 相关软件： Matlab；VRP；FEniCS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CVODES公司 36篇文献引用(2003–2023) 软件作者： 塞尔维亚人；A.C.欣德马什 相关软件： 日晷；ADIC；ADOL-C… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；数值分析（65-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）
PMaude公司 30篇文献引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞盖尔（JoséMeseguer）；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
降落伞 30篇文献引用(2000–2021) 软件作者： E.周 相关软件： 稀疏矩阵；ILUT；巴黎… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
PHoM公司 30篇文献引用(2004–2019) 软件作者： 冈吉、高崎；Kim，Sunyoung；小岛、Masakazu；武田、秋子；藤泽、胜木；水井俊彦 相关软件： PHCpack；HOM4PS；贝尔蒂尼… 主要字段： 场论与多项式（12-XX）；代数几何（14-XX）；数值分析（65-XX）…
NESTOR公司 27篇文献引用(1985–2017) 软件作者： G.F.库珀。 相关软件： TETRAD公司；几何导师；DENDRAL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各布·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal公司；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
FEMPAR公司 21篇文献引用(2016–2023) 软件作者： 圣地亚哥·巴迪亚、阿尔贝托·马汀、哈维尔·普林西比 相关软件： PETSc；CutFEM；测试… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ParLinSys公司 21篇文献引用(2004–2022) 软件作者： Evgenija D.波波娃。；沃尔特·克雷默 相关软件： 国际实验室；C-XSC；C-XSC 2.0… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；数值分析（65-XX）…
PyTransport公司 20篇文献引用(2017–2023) 软件作者： David J.Mulryne、John W.Ronayne 相关软件： CppTransport；答对 了；FeynRules… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；量子理论（81-XX）…
魅力 18篇文献引用(2014–2023) 软件作者： Akinyele，J.A.、Garman，C.、Miers，I.、Pagano，M.W.、Rushanan，M.、Green，M.和Rubin，A.D。 相关软件： GitHub；遗迹；PBC图书馆… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
迭戈 13份文件引用(1995–2017) 软件作者： Gabriele Taentzer；安迪·舒尔 相关软件： 进度；DACTL；AGG… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
CML公司 在11份文件中引用(1997–2023) 软件作者： 罗纳德·勋伯格（Ronald Schoenberg）；Aptech Systems公司。 相关软件： 高斯；R；robustbase… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
EnergyPlus公司 10篇文献引用(2014–2020) 软件作者： Crawley，D.B.、Lawrie，L.K.、Winkelmann，F.C.等人。 相关软件： 蟒蛇；Eppy；原型… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
芯片供应商 10篇文献引用(2014–2023) 软件作者： 科林·奥弗林；陈志章 相关软件： GitHub；PQM4；McEliece… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
纯度过滤 在11份文件中引用(1997–2022) 软件作者： 阿尔班Quadrat 相关软件： 矿石模块；homalg；单数… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；几个复变量和分析空间（32-XX）…
DEDALE公司 7份文件引用(2001–2010) 软件作者： S.Grumbach、P.Rigaux和L.Segoufin 相关软件： CCUBE；抒情的；Oracle… 主要字段： 近似和展开（41-XX）；计算机科学（68-XX）
ARENA公司 9份文件引用(2002–2018) 软件作者： 罗克韦尔自动化公司 相关软件： Matlab；SPSS软件；DFBOX_IMPR… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
Ginv公司 9份文件引用(2006–2023) 软件作者： 于布林科夫。答：。；副总裁Gerdt。 相关软件： 珍妮特；枫树；代数托马斯… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；偏微分方程（35-XX）…
重新计划 9份文件引用(2001–2008) 软件作者： 斯利瓦斯塔瓦，比普拉夫；Subbarao市Kombhampati；做，明B。 相关软件： 图形平面图；STAN；CPlan… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
资产负债管理 8份文件引用(2012–2020) 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
GAMS模型 8份文件引用(2007–2020) 软件作者： GAMS游戏 相关软件： GAMS；林多；Matlab… 主要字段： 历史与传记（01-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
获取RDS 8份文件引用(2015–2023) 软件作者： 阿鲁伊（Abdelouhab Aloui）；阿雷兹基·齐乌伊；Ourbih-Tari，梅格杜达；阿利乌伊，阿明 相关软件： 获取LHS；Matlab；goRDS公司 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
金索尔 7份文件引用(2002–2010) 软件作者： Aaron M.Collier、Alan C.Hindmarsh、Radu Serban和Carol S.Woodward 相关软件： PVODE；PETSc；日晷… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
李焕庆执导的韩国电影 7份文件引用(2015–2023) 软件作者： 乌尔里希·泰尔 相关软件： 岩浆；间隙；雪维… 主要字段： 代数几何（14-XX）；结合环与代数（16-XX）；群论与推广（20-XX）…
芯片 7份文件引用(2008–2022) 软件作者： J.J.Alonso、S.Hahn、F.Ham、M.Herrmann、G.Iacarino、G.Kalitzin、P.LeGresley、K.Mattsson、G.Medic、P.Moin、H.Pitsch、J.Schluter、M.Svard、E.Van der Weide、D.You、X.Wu 相关软件： 序曲；奥根；溢流… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
欧氏瓣心内膜炎 7份文件引用(2019–2023) 软件作者： 穆罕默德·纳吉布 相关软件： MCMAS；普兰林；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
磅/平方英寸 7份文件引用(2012–2022) 软件作者： Powersim公司。 相关软件： Matlab；Turbo Pascal；SymPowerSystems… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
CGM公司 6篇文献引用(2001–2019) 软件作者： 托格斯，T.J。 相关软件： CUBIT公司；大地水准仪；打开级联… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
GRINS公司 3份文件引用(2018–2021) 软件作者： 保罗·鲍曼（Paul T.Bauman）、罗伊·斯托格纳（Roy H.Stogner） 相关软件： PETSc；交易.ii；libMesh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
KryPy公司 6篇文献引用(2015–2019) 软件作者： 安德烈·高尔（AndréGaul）、尼科·施勒默（Nico Schlömer） 相关软件： FFC；罗德斯；GitHub… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
疯子 1份文件引用(2017) 软件作者： 塞巴斯蒂安·博克（Sebastian Böck）、菲利普·科泽尼奥斯基（Filip Korzeniowski）、扬·施吕特（Jan Schlüter）、弗洛里安·克雷布斯（Florian Krebs）、格哈德·维德默（Gerhard Widmer） 相关软件： 蟒蛇；利比亚；Essentia… 主要字段： 总体主题；藏品（00-XX）；数学教育（97-XX）
彪马 3份文件引用(2020–2023) 软件作者： 约瑟夫·弗格森（Joseph C.Ferguson）、弗朗西斯科·帕内莱（Francesco Panerai）、阿尔诺德·博纳（Arnaud Borner）、纳吉·N·曼苏尔（Nagi N.Mansour） 相关软件： TauFactor；COMSOL公司；图像J… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；经典热力学，传热（80-XX）
SAMG公司 5份文件引用(2013–2022) 软件作者： P.Thum、H.Diersch、R.Gruêndler；弗劳恩霍夫SCAI 相关软件： BoomerAMG；最佳；地理词典… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
修补器电池 2份文件引用(2014–2015) 软件作者： Deepak Chandran、Frank T.Bergmann、Herbert M.Sauro 相关软件： SynBioSS；塔巴斯科；lpSolve… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ADTEST（自动测试） 1份文件引用(2009) 软件作者： 马修·加拉赫（Matthew J.Gallagher）；V.Lakshmi Narasimhan 相关软件： 基因组学；科拉特；塔图 主要字段： 计算机科学（68-XX）
AG-IVE系列 4份文件引用(2002–2003) 软件作者： 赵，Z。；贝尔曼，R.G。；范阿尔巴达，G.D。；斯劳特，P.M.A。 相关软件： 交叉网格 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；生物学和其他自然科学（92-XX）
地穴 1份文件引用(2006) 软件作者： Erez Zadok、Ion Badulescu、Alex Shender 相关软件： SiRiUS公司；冥王星；Iolus… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
层压 4份文件引用(2017–2022) 软件作者： Roy I、Porter DE、Bond MD、McKinley KS、Witchel E 相关软件： JFlow；JRIF；Jif… 主要字段： 计算机科学（68-XX）
打开SeesPy 2份文件引用(2022) 软件作者： 朱敏杰、弗兰克·麦肯纳、迈克尔·斯科特 相关软件： VTK；Matplotlib；Python… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）
矿石代数分析 4份文件引用(2017–2020) 软件作者： 托马斯·克鲁索；克里斯托夫·库彻恩 相关软件： 矿石形态；矿石模块；NLControl… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
PATOMA公司 3份文件引用(2008–2021) 软件作者： 聪；M.罗梅西斯；J.R.Shinnerl先生 相关软件： 不明飞行物；LBFGS-B；DeFer… 主要字段： 凸和离散几何（52-XX）；运筹学、数学规划（90-XX）
PlaSim公司 3份文件引用(2013–2020) 软件作者： 伦基特，弗兰克；祝福你，西蒙；克劳斯·弗里德里希；海科·詹森；柯克（Edilbert Kirk）；Ute Luksch；弗兰克·西尔曼 相关软件： R；岩石-3D；气候实验室… 主要字段： 测量和集成（28-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
生物模型分析仪 2份文件引用(2017–2021) 软件作者： 扎拉·艾哈迈德；大卫·本克（David Benque）；谢尔盖·贝雷津（Sergey Berezin）；Dahl，Anna Caroline E。；贾斯敏·费希尔（Jasmin Fisher）；本杰明·霍尔（Benjamin A.Hall）。；萨明·伊斯蒂亚克；杰伊·纳纳瓦蒂；尼尔·皮特曼；梅克Riechert；尼科塔·斯科布洛夫 相关软件： Aeon公司；亚特兰蒂斯；Cytoscape.js… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
字符集 3份文件引用(2004–2007) 软件作者： 王东明 相关软件： 枫树；ATFM；PDE专用解决方案… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
FCVODE公司 3份文件引用(2005–2016) 软件作者： Alan C.Hindmarsh；拉杜塞族人 相关软件： CACTUS公司；DeCART公司；SLICOT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）
后勤数据系统 2份文件引用(2022) 软件作者： 阿吉拉尔·桑胡安，B。；加西亚·加里多，V.J。；克拉查克，V。；奈克，S。；威金斯，S。 相关软件： LCS工具；屏障工具；LCS MATLAB工具包… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）
MATMPC公司 3份文件引用(2022–2023) 软件作者： Chen，Y.、Bruschetta，M.、Picotti，E.、Beghi，A。 相关软件： 武力NLP；VIATOC；GRAMPC… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
MOIRA公司 3份文件引用(2000–2016) 软件作者： Ríos Insua，D.、Gallego，E.、Mateos，A.、Ríos-Insua，S.、Monte，L.、Brittain，J.E.、Galleog，E.，Hákanson，L.，Hofman，D.、Jiménez，A。 相关软件： 视觉UTA；签证；WINPRE… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MoVES公司 3份文件引用(2008–2019) 软件作者： 卢西亚诺·博诺尼；Marco Di Felice；加布里埃尔·D’Angelo；米歇尔·布拉库托；洛伦佐·多纳蒂埃洛 相关软件： 使徒；Python PDEVS；GridSpice… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
普拉西莫 3份文件引用(2012–2023) 软件作者： Van Dijk，J。；Peerenboom，K。；希梅内兹，M。；米哈伊洛娃，D。；范德马伦 相关软件： 阿菲沃；博尔西格语；MUMPS… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
scikit活性ml 2份文件引用(2021–2022) 软件作者： Daniel Kottke、Marek Herde、Tuan Pham Minh、Alexander Benz、Pascal Mergard、Atal Rogh-man、Christoph Sandrock、Bernhard Sick 相关软件： PMTK；红衣主教；模态… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
对称 3份文件引用(2000–2006) 软件作者： 盖特曼，K。 相关软件： 麦考利2号；枫树；INVAR… 主要字段： 交换代数（13-XX）；动力系统与遍历理论（37-XX）；整体分析，流形分析（58-XX）…
WHFast公司 3份文件引用(2020–2022) 软件作者： Rein，H.，Tamayo，D。 相关软件： 反弹；重新绑定x；食人鱼… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）
无机物相图计算 2份文件引用(1998–2013) 软件作者： 埃里克森，G.，哈克，K。 相关软件： GEM手机；PHREEQC；地理系统BRNS… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
克利福德 2份文件引用(2020–2021) 软件作者： 阿尔塞诺维奇（A.Arsenovic）、哈德菲尔德（H.Hadfield）、安东内洛（J.Antonello）、科恩（R.Kern）、博伊尔（Boyle）、迈克（Mike） 相关软件： GitHub；加拉蒙；ganja.js… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）；微分几何（53-XX）…
DBSolve公司 2份文件引用(2009–2016) 软件作者： – 相关软件： GNA；COPASI；欧洲电力公司 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
jMarkov公司 1份文件引用(2017) 软件作者： 胡安·佩雷斯（Juan F.Pérez）；丹尼尔·席尔瓦（Daniel F.Silva）；朱利奥·哥伊斯（Julio C.Góez）；安德烈斯·萨米恩托；安德烈斯·萨米恩托·罗梅罗；Raha Akhavan-Tabatabaei；热尔曼·里阿尼奥 相关软件： MARCA；HyperStar；J阶段… 主要字段： 概率论与随机过程（60-XX）；运筹学、数学规划（90-XX）
词汇图 2份文件引用(1992–2001) 软件作者： 西蒙·迪克（Simon Dik）；威廉·梅伊斯（Willem Meijs）；派克·沃森 相关软件： 莫库姆；中医药；WordNet++… 主要字段： 计算机科学（68-XX）
ModFem型 2份文件引用(2013–2014) 软件作者： Michalik，K。；巴纳斯，K。；Plaszewski，P。；Cybulka，P。 相关软件： 开放式CL；FEniCS；道芬… 主要字段： 数值分析（65-XX）
ODE建筑师 2份文件引用(1999–2018) 软件作者： CODEE（ODE实验联盟） 相关软件： IPython；数字Py；水蟒… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
开源GR 2份文件引用(2019–2023) 软件作者： 托尔加·比尔坎丹；Güzelgün，Ceren；Širin，Elif；乌斯鲁、穆斯塔法坎 相关软件： SageMath；DLMF；Maxima… 主要字段： 偏微分方程（35-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
PLMaddon公司 1份文件引用（2013年） 软件作者： 朱利奥·维拉（Julio Vera）、程森（Cheng Sun）、伊冯·欧特尔（Yvonne Oertel）、奥拉夫·沃尔肯豪尔（Olaf Wolkenhauer） 相关软件： 西帕提卡；SoftCADS；WinBEST-KIT… 主要字段： 生物学和其他自然科学（92-XX）
SeVe公司 2份文件引用(2012–2015) 软件作者： Luu，Anh Tuan；孙军；刘，杨；董金松 相关软件： 棱镜；拍打；Casper… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AETHER公司 1份文件引用(2015) 软件作者： Emre Turkoz；穆拉特·塞利克 相关软件： VORPAL公司；wxWidgets；德谟克利特… 主要字段： 统计力学，物质结构（82-XX）
AMLBID公司 在0个文档中引用 软件作者： Moncef Garouani、Adeel Ahmad、Mourad Bouneffa、Mohamed Hamlich 相关软件： AlphaD3M；Apache Spark；Matlab… 主要字段： –
AMMOS_项目照明 1份文件引用(2012) 软件作者： 德西斯拉发，耶雷瓦；伊尔扎·帕耶瓦；塔尼亚·彭切娃 相关软件： AMMP；教育部；AMMOS公司 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）