对 9680份文件中引用(1978–2024) 软件作者： 哈德利·威克姆；先生，罗伯特；伊哈卡，罗斯；约翰·钱伯斯（John M.Chambers）。；William N.Venables。；布莱恩·里普利。 相关软件： CRAN；SAS；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
Simulink公司 704份文件引用（1994年至2024年） 软件作者： MathWorks公司 相关软件： Matlab；歌曲15；状态流… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
切割机 648份文件引用（1994年至2024年） 软件作者： 尼古拉斯·I.M.古尔德。；多米尼克·奥尔班；马桶，Philippe L 相关软件： 可爱的；12月6日；L-BFGS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
电弧_磁场 169篇文献引用(2007–2023) 软件作者： 刘行健；詹姆斯·P·勒萨奇 相关软件： 空间面板；R；spBayes… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
CUTEst公司 156篇文献引用(2014–2024) 软件作者： Gould，N.、Orban，D.、Toint，P.L。 相关软件： L-BFGS；Ipopt；兰斯洛… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
米兰达 155篇文献中引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数学逻辑与基础（03-XX）；通用代数系统（08-XX）；范畴理论；同调代数（18-XX）…
马德里 139篇文献引用(1998–2024) 软件作者： 拉奥·R·文卡塔 相关软件： 电气；VIKOR；NBI… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
NetLogo公司 98篇文献引用（2007年至2024年） 软件作者： Elizabeth Sklar；赛斯·蒂苏；乌里·威伦斯基 相关软件： Matlab；Boids；Python… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
列表-统计 88篇文献引用(1977–2019) 软件作者： 卢克·蒂尔尼 相关软件： R；远景；XGobi… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
SICStus公司 94份文件引用(1992–2024) 软件作者： Mats Carlsson，每米尔德纳 相关软件： SWI-预测；Ciao；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
摩卡 85篇文献引用(1999–2023) 软件作者： Alur，R.，Henzinger，T.A.，Mang，F.Y.C.，Qadeer，S.，Rajamani，S.K.，Tasiran，S。 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
ACADO公司 76篇文献引用(2010–2024) 软件作者： Boris Houska；汉斯·约阿希姆·费罗；Moritz迪尔 相关软件： Ipopt；qpOASES；CasADi… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
科莱姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；普格利泽，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
RRL公司 59篇文献引用(1985–2023) 软件作者： D.卡普尔；H.张 相关软件： 版次：；水獭；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；通用代数系统（08-XX）；非结合环与代数（17-XX）…
虚拟仪器 54篇文献引用(1999–2023) 软件作者： 国家仪器公司 相关软件： Matlab；Simulink；模型… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
状态流 43篇文献引用(1989–2023) 软件作者： 数学工程公司。 相关软件： Simulink；Matlab；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
阿斯毫升 45篇文献引用(2001–2023) 软件作者： 微软研究院；格里斯坎普，W。；古雷维奇·Y。 相关软件： 毫升；SpecExplorer；科拉特… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
R度量 40篇文献引用(2008–2023) 软件作者： Rmetrics协会 相关软件： R；fGarch；基础… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MARC公司 41篇文献引用(1979–2022) 软件作者： 美商麦格尼轩 相关软件： MSC公司。MARC；阿巴夸斯；LS-DYNA… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
卵磷脂 39篇文献引用(2006–2023) 软件作者： 马提亚斯·海尔（Matthias Heil），安德鲁·哈泽尔（Andrew L.Hazel） 相关软件： 特里利诺斯；超级LU；自动… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
S+小波 37篇文献引用(1997–2022) 软件作者： 安德鲁·布鲁斯（Andrew G.Bruce）；红叶高 相关软件： glmnet；PDCO；稀疏… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
短讯服务 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： Mathematica；AceFEM公司；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
莫塞尔 37篇文献引用(2003–2021) 软件作者： Fair Isaac公司；科伦巴尼·Y、海普克·S。 相关软件： XPRESS；AMPL；游戏… 主要字段： 总体主题；藏品（00-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
MPICH-G2型 17篇文献引用(2003–2010) 软件作者： 尼古拉斯·T·卡罗尼斯。；布莱恩·托宁（Brian Toonen）；伊恩·福斯特 相关软件： Globus工具包；磁粉检测；MPI/MPICH… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；量子理论（81-XX）…
自动教程 5份文件引用(2001–2021) 软件作者： 亚瑟·C·格雷瑟。；卢、舒兰；乔治·坦纳（George Tanner）·杰克逊（Jackson）；米切尔、希瑟·海特；马修·文图拉（Mathew Ventura）；安德鲁·奥尔尼；马克斯·路易斯。 相关软件： LIBSVM；汗学院；科姆特… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
SAP2000公司 26篇文献引用(2003–2023) 软件作者： 计算机与结构公司。 相关软件： Matlab；OpenSees；Python… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
URDME公司 25篇文献引用（2009年-2023年） 软件作者： 抽屉，B.，Engblom，S.，Hellander，A。 相关软件： MesoRD；步骤；斯莫尔丁… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
pLoc-工厂 27篇文献引用(2017–2019) 软件作者： Cheng，X。；Xiao，X。；周，K.-C。 相关软件： pLoc-mEuk；pLoc-m病毒；pLoc-mAnimal… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
快速采矿机 19份文件引用(2012–2023) 软件作者： RapidMiner；Akthar，F.，Hahne，C。 相关软件： R；Auto-WEKA；TPOT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
凉亭 21篇文献引用(2006–2023) 软件作者： Koenig，N。；H·霍华德。 相关软件： 活性氧；MuJoCo；转子… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
罗塞塔 21篇文献引用(1998–2021) 软件作者： Øhrn，Aleksander；Komorowski，Jan；安德烈·斯科伦（Andrzej Skowron）；彼得·西纳克 相关软件： UCI-ml；LERS；RSES… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
DEPAC公司 24篇文献引用(1983–2000) 软件作者： Shampine，L.F.公司。；瓦茨，H.A。 相关软件： 德维尔克；传真；RKF45… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
共享思维 22篇文献引用(2011–2023) 软件作者： D.Bogdanov、S.Laur、J.Willemson 相关软件： VIFF；ABY；美味… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
泥瓦匠 14篇文献引用（2009年-2023年） 软件作者： Luke S.、Cioffi Revilla C.、Panait L.、Sullivan K.、Balan G。 相关软件： 就餐套房；NetLogo；Mesa… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ADMIT公司 22篇文献引用(1999–2020) 软件作者： 托马斯·科尔曼。；阿伦·维尔马 相关软件： ADIFR；ADMAT；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
税收 15篇文献引用(2001–2017) 软件作者： 克洛斯，艾蒂安；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
无咖啡因饮料 在11份文件中引用(2000–2005) 软件作者： 约翰·格雷厄姆（John R.Graham）。；基思·S·戴克。 相关软件： 旅行者号；GroupKit；高尔夫… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
莫扎特 15篇文献引用(1999–2018) 软件作者： 彼得·范罗伊；塞夫·哈里迪 相关软件： 奥兹；CPLEX；芯片… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SCADE公司 14篇文献引用(2001–2019) 软件作者： 杰拉德·贝里；Esterel科技 相关软件： Simulink；卢斯特；埃斯特雷尔… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
克拉瓦 18篇文献引用(2002–2020) 软件作者： 洛伦佐·贝蒂尼；德尼古拉（De Nicola）、罗科（Rocco）；罗萨里奥·普格利泽 相关软件： 科莱姆；琳达；石灰… 主要字段： 计算机科学（68-XX）
OPTIMAS公司 19份文件引用(1993–2021) 软件作者： 佩金，S。；爱泼斯坦，B。 相关软件： 基因组学；TensorFlow；Pluribus… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
BOSS-Quattro公司 15篇文献引用(2009–2020) 软件作者： 西门子 相关软件： 顶部.m；SAMCEF；SAMCEF Mecano… 主要字段： 变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
MizarMode（米扎尔模式） 18篇文献引用(2006–2019) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CAMAL公司 17篇文献引用(1972–2009) 软件作者： 惠誉，J.P。；S.R.伯恩、J.R.霍顿。 相关软件： 减少；伊斯兰教；BCPL… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；数值分析（65-XX）…
D-努氏体 13份文件引用(2005–2020) 软件作者： 洪琴；特佐普洛斯，D。 相关软件： CoRdE；绞线；算法624… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；苏恩，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
大都市 7份文件引用(2006–2018) 软件作者： Balarin F、Watanabe Y、Hsieh H、Lavagno L、Passerone C、Sangiovanni-Vincentelli A 相关软件： 托勒密；里奥；LUSTRE… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
MSC公司。MARC公司 17篇文献引用(2002–2019) 软件作者： MSC软件公司 相关软件： MARC；Matlab；Maxima… 主要字段： 实函数（26-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
CFX-5型 16篇文献引用(2005–2016) 软件作者： 罗兰德·瓦什内尔（Roland Wüchner）；亚历山大·库普佐克（Alexander Kupzok）；凯乌·布莱辛格 相关软件： CARAT公司；ANSYS；FLUENT… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
CPGraph（CPGraph） 16篇文献引用(2005–2022) 软件作者： Deville，Y.、Dooms，G.、Zampelli，S.、Dupont，P。 相关软件： 红衣主教；Gecode公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
JCLEC公司 2份文件引用(2009–2015) 软件作者： 塞巴斯蒂安·文图拉、克里斯托巴尔·罗梅罗、阿米莉亚·扎夫拉、何塞·A·德尔加多、塞萨尔·埃尔瓦斯 相关软件： KEEL；UCI-ml；欧洲法院… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MPICH2型 8份文件引用(2002–2021) 软件作者： 威廉·格罗普 相关软件： OpenMPI；Mathematica；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
LTSA-WS公司 12份文件引用(2006–2021) 软件作者： Magee J、Kramer J、Uchitel S等人 相关软件： WSAT；NuSMV；UFO… 主要字段： 计算机科学（68-XX）
国防部 15篇文献引用(1993–2010) 软件作者： 瓦莱里奥·西马加里；马西米利亚诺·博比；马尔科·巴尔西 相关软件： —— 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；可变形固体力学（74-XX）…
PORGY公司 15篇文献引用(2011–2023) 软件作者： 玛丽贝尔·费尔南德斯；赫莱内·基什内尔 相关软件： AGG；沟槽；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
旗鱼 13份文件引用(2014–2022) 软件作者： Januszewski，M。；M.科斯特。 相关软件： CUDA；LUDWIG；帕拉博斯… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
TuLiP公司 15篇文献引用(2016–2022) 软件作者： Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray 相关软件： PESSOA；科西马；SCOTS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
CArtAgO公司 7份文件引用(2009–2011) 软件作者： 亚历山德罗·里奇；安德里亚·桑蒂；米歇尔·皮安蒂；米尔科·维罗利；安德烈亚·奥米西尼（Andrea Omicini）；马可·吉迪；马蒂亚·米诺蒂 相关软件： 杰森；贾德克斯；代理发言… 主要字段： 计算机科学（68-XX）
柱塞 14篇文献引用(1991–2009) 软件作者： 乞丐，伊凡；吴玲；安德烈亚斯·穆勒；彼得·普尔兹比舍夫斯基；罗兰·R；威廉·索耶 相关软件： 进度；SPARSKIT；ITSOL公司 主要字段： 代数几何（14-XX）；范畴理论；同调代数（18-XX）；实函数（26-XX）…
索尔利亚 14篇文献引用（2010年-2023年） 软件作者： 西尔万·切维拉德；米奥拉乔尔德什；克里斯托夫·劳特 相关软件： 加帕；MPFR；Coq… 主要字段： 实函数（26-XX）；近似和展开（41-XX）；数值分析（65-XX）…
BPOLY公司 13份文件引用(2001–2019) 软件作者： 蔡一峰；Rida T.法鲁基。 相关软件： MultRoot；Matlab；GLEW… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
ECDAR公司 9份文件引用(2011–2022) 软件作者： 亚历山大·戴维；金·拉森。G。；Legay，Axel；乌尔里克·奈曼；安德热·瓦索夫斯基 相关软件： Uppaal；MIO工作台；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
多时性 在11份文件中引用(2004–2016) 软件作者： INRIA公司；Talpin，J.-P、Le Guernic，P.、Shukla，S.K.、Gupta，R.K.、Doucet，F。 相关软件： 酯类；卢斯特；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
定量反馈理论工具箱 12份文件引用(1995–2017) 软件作者： Borghesani，C。；Chait，Y。；O.亚尼夫。 相关软件： Matlab；QFTCT；鲁棒控制工具箱… 主要字段： 系统论；控制（93-XX）
欧西里克斯 5份文件引用(2015–2018) 软件作者： Antoine Rosset、Luca Spadola、Osman Ratib 相关软件： VTK；PixelMed；ITK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
帕塞克 5份文件引用（2003年至2019年） 软件作者： Rajive Bagrodia、Richard Meyer、Mineo Takai、Yuan Chen、Xiang Zeng、Jay Martin、Ha Yoon Song 相关软件： GloboSim；斯莫尔丁；XTW… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
刮擦 3份文件引用(2019–2021) 软件作者： J.Maloney、M.Resnick、N.Rusk、B.Silverman、E.Eastmond 相关软件： 绿脚；爱丽丝；修补程序绘图… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
trng公司 在11份文件中引用(2011–2023) 软件作者： Heiko Bauke；斯蒂芬·默滕斯 相关软件： 测试U01；MersenneTwister公司；更加坚强… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
XMIPP公司 10篇文献引用(2006–2023) 软件作者： Sorzano，C.O.S。；马拉比尼，R。；Velazquez-Muriel，J。；Bilbao-Castro，J.R。；谢尔斯，S.H.W。；Carazo，J.M。；Pascual-Montano，A。 相关软件： 冷冻SPARC；EMan；法语… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
OMPL公司 10篇文献引用(2013–2023) 软件作者： ⑩ucan，I.A.，Moll，M.，Kavraki，L.E。 相关软件： CGAL；核心2；安慰… 主要字段： 凸和离散几何（52-XX）；流形和细胞复合体（57-XX）；计算机科学（68-XX）…
LOTOSphere公司 6篇文献引用(2000–2015) 软件作者： T.Bolognesi、J.van de Lagemaat、C.Vissers 相关软件： LOTOS；并发工作台；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OMAC公司 9份文件引用(1997–2010) 软件作者： Kenneth N.McKay。；大卫·B·克莱特。；斯蒂芬·格雷夫斯（Stephen C.Graves）。 相关软件： —— 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
pMapper（pMapper） 4份文件引用(2013–2020) 软件作者： Verma，A.，Ahuja，P.，Neogi，A。 相关软件： CloudSim；Gecode公司；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PSync（同步） 9份文件引用(2016–2023) 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格（Thomas A.Henzinger）。；达米安·祖弗里 相关软件： 威尔第；常春藤；ByMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
机构动态仿真模块组 9份文件引用(2005–2023) 软件作者： 格兰·理查德·J。 相关软件： Matlab；Visual Basic；VBA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
TMG公司 9份文件引用(2006–2017) 软件作者： D.泽Impukis；E.加洛普洛斯 相关软件： Matlab；JDQZ；PROPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
X模糊 5份文件引用(2001–2021) 软件作者： D.R.Lopez；C.J.Jimenez；I.巴图隆；A.巴里加；桑切斯·索拉诺 相关软件： XFL3；NEFCLASS-X；FuzzyLogic.jl… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
雅典 7份文件引用(2011–2021) 软件作者： Gaj，K.、Kaps，J.P.、Amirineni，V.、Rogawski，M.、Homsirikamol，E.、Brewster，B.Y。 相关软件： 西蒙；凯卡克；电子广播公司… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
卡塔布兰卡 7份文件引用（2003年至2020年） 软件作者： W.B.范德海登。；Dendy，E.D。；新墨西哥州帕迪亚尔·科林斯。 相关软件： BLAS；JAMA；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
发现 4份文件引用(2001–2002) 软件作者： V.Mann、V.Matosian、R.Muralidhar、M.Parashar 相关软件： Globus工具包；特里亚纳；Condor-G… 主要字段： 计算机科学（68-XX）
FRIDGE公司 4份文件引用(2004–2007) 软件作者： Keding，H.、Willems，M.、Coors，M.和Meyr，H。 相关软件： Simulink；HOL；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
qtlbim公司 6篇文献引用(2009–2021) 软件作者： 丹尼尔·施赖纳（Daniel Shriner）；易能军 相关软件： 贝叶斯DA；R；QTL Express… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；天文学和天体物理学（85-XX）…
样品 8份文件引用(2008–2022) 软件作者： 巴伦特，克里斯蒂安；乔塔姆·米特拉；穆斯塔法·萨奇；福勒，罗伯特 相关软件： MSLiP；古罗比；PySP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
张力 5份文件引用(2021–2022) 软件作者： 亚历山大·库恩勒；Michael Schaarschmidt；凯·弗里克 相关软件： TensorFlow；OpenAI健身房；地平线… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；生物学和其他自然科学（92-XX）
验证 6篇文献引用(2021–2024) 软件作者： 托马索·德罗西（Tommaso Dreossi）、丹尼尔·弗雷蒙特（Daniel J.Fremont）、施洛蒙娜·戈什（Shromona Ghosh）、爱德华·金（Edward Kim）、哈迪·拉文巴赫（Hadi Ravanbakhsh）、马塞尔·巴斯奎兹·香拉特（Marcell Vazque 相关软件： Reluplex；NNV；阿波罗… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
欧洲RoC 7份文件引用（2019年-2023年） 软件作者： Burri，M。；尼科利奇，J。；高尔，P。；施耐德，T。；瑞德，J。；Omari，S。；阿克特利克，M。；西格沃特，R。 相关软件： ORB-SLAM2；基蒂；五点… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
蒙巴萨 7份文件引用(2002–2023) 软件作者： 安德烈亚斯·费斯塔格；拉斯·韦斯特霍夫；亚当·沃利斯 相关软件： MacMPEC公司 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
2号管道 6篇文献引用(2013–2023) 软件作者： 尼古拉斯·丁格尔（Nicholas J.Dingle）、威廉·诺滕贝尔（William J.Knottenbelt）、塔马斯·苏托（Tamas Suto） 相关软件： MARCA；HyperStar；J阶段… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PREVAIL公司 5份文件引用(1992–2014) 软件作者： 多米尼克·博里奥内；劳伦斯·皮埃尔；阿什拉夫·塞勒姆 相关软件： Nuprl；CoqMTU；Coquet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）