Globus工具包 61篇文献引用(2000–2022) 软件作者： 芝加哥大学；伊恩·福斯特（Ian Foster）。。。 相关软件： Condor-G；MPICH-G2；Nimrod/G… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
结构改变 42篇文献引用(2003–2023) 软件作者： 阿希姆·泽利斯（Achim Zeileis）、弗里德里希·利什（Friedrich Leisch）、库尔特·霍尼克（Kurt Hornik）、克里斯蒂安·克莱伯（Christian Kleiber）、布鲁斯·汉森（Bruce Hansen） 相关软件： R；转折点；bcp… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PETSc/TS公司 49篇文献引用(2018–2024) 软件作者： Shrirang Abhyankar、Jed Brown、Emil M.Constantinescu、Debojyoti Ghosh、Barry F.Smith、Hong Zhang 相关软件： PETSc；FEniCS；日晷… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
监控 30篇文献引用(2005–2023) 软件作者： Michael Höhle、Sebastian Meyer、Michaela Paul、Andrea Riebler、S.Steiner、M.Virtanen、Valentin Wimmer、T.Correa、M.Hofmann、C.Lang 相关软件： R；RKI的SurvStat;地图工具… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·唐泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
科拉特 24篇文献引用(2001–2022) 软件作者： Chandrasekhar Boyapati；萨尔夫拉兹·库希德（Sarfraz Khurshid）；达科·马里诺夫 相关软件： Symstra公司；TestEra；Java PathFinder… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MPICH-G2型 17篇文献引用(2003–2010) 软件作者： 尼古拉斯·T·卡罗尼斯。；布莱恩·托宁（Brian Toonen）；福斯特，伊恩 相关软件： Globus工具包；磁粉检测；MPI/MPICH… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；量子理论（81-XX）…
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SFSDP公司 33篇文献引用(2009–2021) 软件作者： S.Kim、M.Kojima、H.Waki、M.Yamashita 相关软件： 塞杜米；SNLSDP；稀疏POP… 主要字段： 代数几何（14-XX）；变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）…
R2jags汽车 引用于27份文件(2011–2023) 软件作者： Yu-Sung Su、Masanao Yajima 相关软件： R；JAGS；WinBUGS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
环境统计 25篇文献引用(2006–2022) 软件作者： Le，Nhu D。；詹姆斯·齐德克（James V.Zidek）。 相关软件： R；贝叶斯DA；spBayes… 主要字段： 统计学（62-XX）；地球物理学（86-XX）；运筹学，数学规划（90-XX）…
泥浆 13份文件引用(2015–2023) 软件作者： SLURM团队；Yoo AB、Jette MA、Grondona M 相关软件： 蟒蛇；太阳网格引擎；TensorFlow… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
Java操作系统 26篇文献引用(2005–2023) 软件作者： 冯晨；格里戈·罗什 相关软件： LOLA；github；AspectJ… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
洛拉 23篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等。 相关软件： 蒙保利；Java-MOP；LUSTRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；对照（93-XX）
SAP APO 引用于22份文件(2004–2020) 软件作者： 活力 相关软件： XPRESS；RELAX4；放松IV… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
GEATbx公司 21篇文献引用(2001–2021) 软件作者： 波黑姆H。 相关软件： 克朗；PGA包；MVF… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
脱咖啡因咖啡 11份文件引用(2000–2005) 软件作者： 约翰·格雷厄姆（John R.Graham）。；基思·S·戴克。 相关软件： 旅行者号；GroupKit；高尔夫… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ASTRO-DF公司 19份文件引用(2018–2023) 软件作者： Sara Shashaani；Fatemeh S.哈希米。；帕苏帕蒂，拉格 相关软件： UOBYQA；R样条；野马… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
网格流 5份文件引用(2006–2011) 软件作者： 曹俊伟；贾维斯公司。；Saini，S。；格拉汉姆·R·努德。 相关软件： 飞马座；Globus工具包；DAGMan… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；对照（93-XX）
ParFUM公司 13份文件引用(2008–2022) 软件作者： 萨彦丹脉轮涡；特里·威尔马思（Terry Wilmarth）；艾萨克·杜利；亚伦·贝克尔 相关软件： 锡耶拉；佐尔坦；CHARM++… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
Agena风险 14篇文献引用(2013–2023) 软件作者： 诺曼·芬顿；尼尔，马丁 相关软件： R；TETRAD公司；Elicitator… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
EaSt公司 9份文件引用(1997–2021) 软件作者： Cytel软件公司 相关软件： R；ADDPLAN；SAS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
蒙保利 14篇文献引用(2015–2024) 软件作者： D.Basin、M.Harvan、F.Klaedtke、E.Zalinescu 相关软件： LOLA；德贾武；天线… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NetLogger（网络记录器） 10篇文献引用(2001–2012) 软件作者： Gunter，D.、Tierney，B.、Crowley，B.、Holding，M.、Lee，J。 相关软件： 交叉网格；Java CoG工具包；ASP。NET… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
简历 9份文件引用(1997–2023) 软件作者： 尤瓦尔·沙哈尔；马克·穆森 相关软件： 蛋白质；PrefixSpan；铲刀… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
太阳网格引擎 5份文件引用(2010–2022) 软件作者： Gentzsch，W。 相关软件： MapReduce；泥浆；Hadoop… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
AMT公司 12份文件引用(2008–2018) 软件作者： D.尼科维奇，O.马勒 相关软件： Uppaal；SpaceEx；棱镜… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
口香糖 12份文件引用（1997年至2016年） 软件作者： Trinder，P.W.、Hammond，K.、Mattson，J.S.Jr.、Partridge，A.S.、Peyton Jones，S.L。 相关软件： 哈斯克尔；伊甸园；GHC… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
失忆症 9份文件引用(2007–2023) 软件作者： Halfond W、Orso A 相关软件： 皮克斯；哈斯克尔；PQL… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ModelPlex公司 10篇文献引用(2016–2024) 软件作者： Mitsch，S.、Platzer，A。 相关软件： 凯伊迈拉X；凯伊迈拉；dReach… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
Java MaC语言 11份文件引用(2003–2021) 软件作者： Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky 相关软件： JPAX；Java-MOP；LOLA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
SCAMP公司 引用于7份文件(1991–2011) 软件作者： 赫伯特·M·索罗（Herbert M.Sauro）。；大卫·A·费尔。 相关软件： GEPASI；虚拟细胞；电子电话… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
通用乙醇提取物 引用于3份文件(2021–2023) 软件作者： Gorelick，N.、Hancher，M.、Dixon，M.，Ilyushchenko，S.、Thau，D.、Moore，R。 相关软件： 蟒蛇；R；geemap… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；粒子和系统力学（70-XX）…
正式舞会 引用于7份文件(2005–2022) 软件作者： van Dongen，B.F。；de Medeiros，A.K.A。；H.M.W.韦贝克。；魏杰特斯（A.J.M.M.Weijters）。；范德阿尔斯特，W.M.P。 相关软件： 红矿工；混合ILPMiner；XESome… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
心理监护仪 10篇文献引用（2020年至2024年） 软件作者： Peter C.B.Phillips、Shuping Shi、Itamar Caspi 相关软件： 欢腾；R；radf… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
TaintDroid公司 8份文件引用(2013–2023) 软件作者： Enck，W.、Gilbert，P.、Han，S.、Tendulkar，V.、Chun，B.-G.、Cox，L.P.、Jung，J.、McDaniel，P.和Sheth，A.N。 相关软件： FlowDroid；戴坦；JFlow… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
副驾驶员 8份文件引用(2012–2022) 软件作者： Pike L、Goodloe A、Morisset R、Niller S 相关软件： 卢斯特；LOLA；JPAX… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
LLNet公司 8份文件引用(2018–2023) 软件作者： Kin Gwn Lore、Adedotun Akintayo、Soumik Sarkar 相关软件： AlexNet；CBAM；启发GAN… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
尼瑞塞尔 5份文件引用(2016–2023) 软件作者： Mohan，P.、Venkata，N.、Ramjee，R。 相关软件： github；蟒蛇；数字标识… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
数据建模器 引用于7份文件（2009年至2022年） 软件作者： 马克·科坦切克 相关软件： Mathematica；启发式实验室；LIBSVM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
德贾武 8份文件引用(2018–2022) 软件作者： Havelund，K。；贝利德，D。；D.乌卢斯。 相关软件： LOLA；蒙保利；Java-MOP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
发现 4份文件引用(2001–2002) 软件作者： V.Mann、V.Matosian、R.Muralidhar、M.Parashar 相关软件： Globus工具包；特里亚纳；Condor-G… 主要字段： 计算机科学（68-XX）
IC2D接口 5份文件引用(2001–2015) 软件作者： 法国波德；伯杰，亚历山大；卡洛梅尔，丹尼斯；Huet、Fabrice；纳诺，奥利维尔；朱利安·维西埃 相关软件： 积极主动；雄心勃勃的谈话；JCobox… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；地球物理学（86-XX）
国际奥委会 8份文件引用(2001–2017) 软件作者： 沃杜利斯、克里斯托斯；拉斐尔·多恩；大卫·莱辛（David Lesaint）；莉特，安妮 相关软件： 本地化人员；EasyLocal++；COMET… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
W4系列 4份文件引用(2005–2018) 软件作者： Haritaoglu，I.，Harwood，D.，Davis，L.S。 相关软件： Pfinder；九头蛇；BraMBLe公司 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）…
卡尤加 4份文件引用(2012–2022) 软件作者： Alan J.Demers、Johannes Gehrke、Biswanath Panda、Mirek Riedewald、Varun Sharma、Walker M.White 相关软件： 电报CQ；嗅探；StreamQRE… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
狂热的 引用于7份文件（2011年至2021年） 软件作者： Foster，N.、Harrison，R.、Freedman，M.J.、Monsanto，C.、Rexford，J.、Story，A.、Walker，D。 相关软件： NetKAT；荨麻；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
iFogSim软件 4份文件引用(2020–2023) 软件作者： 哈希特·古普塔、阿米尔·瓦希德·达斯特杰迪、索米亚·戈什、拉杰库马尔·布亚 相关软件： YAFS；FogNetSim++；云模拟… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
SCIRun2（SCI运行2） 6篇文献引用(2006–2015) 软件作者： K.Zhang、K.Damevski、V.Venkatachalapathy等。 相关软件： MOCCA；PETSc；Uintah… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
极光 5份文件引用(2009–2021) 软件作者： De Paiva，E.C.公司。；阿齐尼埃拉，J.R。；Ramos，J.G。；Moutinho，A。；S.S.布埃诺。 相关软件： 冲浪；InerVis；摄像机校准… 主要字段： 地球物理学（86-XX）；系统论；对照（93-XX）
制动辅助系统 6篇文献引用(2013–2022) 软件作者： 罗伯逊，B.L。；Brown，J.A。；T·麦当劳。；P.杰克森。 相关软件： R；拉丁超立方体采样；spsurvey… 主要字段： 统计学（62-XX）；数值分析（65-XX）；地球物理学（86-XX）
爆炸2GO 2份文件引用(2019–2020) 软件作者： Conesa，A.、Götz，S.、GarcíA-Gómez，J.M.、Terol，J.、Talón，M.、Robles，M。 相关软件： 戴维；Pfam；KEGG… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
克拉拉 5份文件引用（2011年至2021年） 软件作者： Bodden E、Lam P、Laurie L 相关软件： Java-MOP；apcluster；VGGFace2… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
数据日志MTL 6篇文献引用(2022–2023) 软件作者： Wałȩga，P.A。；Cuenca Grau，B。；卡明斯基，M。；科斯特列夫，E。 相关软件： LARS；克林戈；Graal… 主要字段： 计算机科学（68-XX）
J-Sim公司 4份文件引用(2009–2016) 软件作者： Sobeih A、Hou J、Kung L-C、Li N、Zhang H、Chen W-P、Tyan H-Y、Lim H 相关软件： 标签 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；对照（93-XX）
NOSA-ITACA公司 6篇文献引用(2014–2023) 软件作者： 玛格丽塔·波塞利；比南特，文森佐；玛丽亚·吉拉迪；克里斯蒂娜·帕多瓦尼；朱塞佩·帕斯奎内利 相关软件： ARPACK；BEMLIB；达科塔… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
扫描视图 2份文件引用(2005) 软件作者： David Koller、Michael Turitzin、Marc Levoy；马可·塔里尼（Marco Tarini）、朱塞佩·克罗西亚（Giuseppe Croccia）、保罗·奇格诺尼（Paolo Cignoni）；罗伯托·斯科皮尼奥 相关软件： Qsplat；3dx最大值；Maya… 主要字段： 计算机科学（68-XX）
MESgenCov公司 4份文件引用（2020年至2024年） 软件作者： Hessa Al-Thani、Jon Lee 相关软件： github；SDPT3；环境统计信息… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
NetQuest公司 4份文件引用(2010–2018) 软件作者： H.H.Song、L.Qiu、Y.Zhang 相关软件： 塞杜米；CoSaMP；自我 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PROTEUS公司 5份文件引用(1992–2001) 软件作者： Brewer EA、Dellarocas CN、Colbrook A、Weihl WE 相关软件： – 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
ucminf大学 4份文件引用(2011–2023) 软件作者： 汉斯·布鲁恩·尼尔森；Stig Bousgaard Mortensen公司 相关软件： R；maxLik；optimx… 主要字段： 统计学（62-XX）
维多利亚州 4份文件引用(2010–2022) 软件作者： 相关解决方案 相关软件： Ncorr；VIC-2D；VEDDAC… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AMON公司 4份文件引用（2019年至2022年） 软件作者： Michael Kallitsis、Stilian Stoev、Shrijita Bhattacharya、George Michailidis 相关软件： 最小修订订单；astsa；远程终端设备 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
资产 4份文件引用(1992–2007) 软件作者： 唐纳德·布朗（Donald E.Brown）。；克拉伦斯·L·皮塔德。；安德鲁·斯皮兰（Andrew R.Spillane）。 相关软件： 自动化；NRL；ProVerif… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
奥迪穆斯。媒体 2份文件引用(2003–2007) 软件作者： 雨果·梅内多；卡塞罗，迪亚曼蒂诺；若昂·内托；伊莎贝尔·特拉科索 相关软件： 摩西；SRILM公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CENALT公司 4份文件引用(2015–2022) 软件作者： A.Gailler、H.Hebert、A.Loevenbruck、B.Hernandez 相关软件： 沃尔纳；沃尔纳-OP2；SWASHES… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
CESAM公司 4份文件引用(2010–2018) 软件作者： 皮埃尔·莫雷尔（Pierre Morel）、伊夫林·勒布雷顿（Yveline Lebreton） 相关软件： G接合；JFNK；CGS公司 主要字段： 统计学（62-XX）；流体力学（76-XX）；相对论与引力理论（83-XX）…
克拉罗 4份文件引用(2013–2021) 软件作者： Thanh T.L.Tran、Liping Peng、Yanlei Diao、Andrew McGregor、Anna Liu 相关软件： 五月BMS；神秘感；三重奏… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
昏迷 2份文件引用(2016–2021) 软件作者： P Arcaini、A Gargantini、E Riccobene 相关软件： AsmetaSMV；NuSMV；ASMETA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
达尔克斯 2份文件引用(2021–2022) 软件作者： Hubert Baniecki、Wojciech Kretowicz、Piotr Piatyszek、Jakub Wisniewski、Przemyslaw Biecek 相关软件： DALEX公司；形状；AI解释360… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
数据绘图 引用于3份文件(2009–2017) 软件作者： N.A.Heckert，J.Filliben 相关软件： Matlab；OutlierLib；Auto-WEKA… 主要字段： 统计学（62-XX）；数值分析（65-XX）
德莱宾 引用于3份文件(2017–2023) 软件作者： Daniel Arp、Michael Spreitzenbarth、Hugo Gascon、Konrad Rieck 相关软件： ADAM；DroidMat；机器人变色龙… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
伽马泰拉菌 引用于3份文件(2007–2009) 软件作者： Jones，J。；奥索，A。；M.哈罗德。 相关软件： Seesoft；蓝J；VizzAnalyzer… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
格诺特 2份文件引用(2010–2011) 软件作者： Vasiliadis，G.，Antonatos，S.，Polychronakis，M.，Markatos，E.P.，Ioanidis，S。 相关软件： 用鼻子哼哼；CUDA；ADEPTS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
层压 4份文件引用(2017–2022) 软件作者： Roy I、Porter DE、Bond MD、McKinley KS、Witchel E 相关软件： JFlow；JRIF；Jif… 主要字段： 计算机科学（68-XX）
多功能自动数据分析机 2份文件引用(2015–2021) 软件作者： A.Saracino、D.Sgandurra、G.Dini、F.Martinelli 相关软件： AAPT2；威卡；TCPDUMP… 主要字段： 统计学（62-XX）；计算机科学（68-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）
帕瓦内 4份文件引用(2002) 软件作者： G.-C.Roman、K.C.Cox、Donald Wilcox、Jerome Y.Plun 相关软件： 探戈；利奥纳多；宙斯… 主要字段： 计算机科学（68-XX）
RiTHM公司 4份文件引用(2015–2020) 软件作者： Navabpour S、Joshi Y、Wu CWW、Berkovich S、Medhat R、Bonakdarpour B、Fischmeister S 相关软件： CBMC；NuSMV；旋转… 主要字段： 计算机科学（68-XX）
rtMEG公司 2份文件引用(2016–2019) 软件作者： 古斯塔沃·苏德雷；Lauri Parkkonen；伊丽莎白·博克（Elizabeth Bock）；Baillet，Sylvain；王伟；道格拉斯·韦伯。 相关软件： BCI2000；MNE；FieldTrip… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
ScopeShell公司 引用于3份文件(2011–2014) 软件作者： 莫斯科国立大学；DP Kostomarov、FS Zaitsev、AG Shishkin 相关软件： 托卡马克；塔迪斯；泊松解算器… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）
TeSSLa公司 4份文件引用(2018–2022) 软件作者： 卢卡斯修道院；塞巴斯蒂安·亨格瑞克；Martin Leucker；托本·谢菲尔；施密茨，马尔特；丹尼尔·托马 相关软件： LOLA；蒙保利；副驾驶… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TopoMon公司 引用于3份文件(2002–2013) 软件作者： den Burger，M。；Kielmann，T。；H.E.巴尔。 相关软件： – 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）