水蝇 404文件引用(2000–2024) 软件作者： 波皮内特，斯特芬 相关软件： PROST；蜥蜴；SLIC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JML公司 161份文件引用（2000年-2023年） 软件作者： 加里·利文斯（Gary T.Leavens）；Yoonsik Cheon公司 相关软件： 规范#；埃菲尔；卡拉卡拉… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
马戏团 81篇文献引用(2002–2024) 软件作者： Woodcock，J.C.P.，卡瓦尔坎蒂，A.L.C。 相关软件： Z；电源保护；Simulink… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
ProB公司 55份文件引用(2002–2022) 软件作者： 迈克尔·洛伊舍尔（Michael Leuschel）；麦可巴特勒 相关软件： 罗丹；Z；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
数学SAT 60篇文献引用(2005–2023) 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
RAMSES公司 45篇文献引用(2006–2023) 软件作者： R.Teyssier公司 相关软件： GADGET公司；涅槃；闪光… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
地球定律 43篇文献引用(2011–2022) 软件作者： M.J.Berger、D.L.George、R.J.LeVeque、K.M.Mandli 相关软件： AMRCLAW；拉回；ADCIRC… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
卫星抗体 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
魔法 39篇文献引用(2003–2020) 软件作者： 萨加尔·查基；埃德蒙·克拉克；Jha，萨默什；赫尔穆特·维思 相关软件： ComFoRT；班德拉；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
拍打 34份文件引用(2011–2022) 软件作者： 孙军、刘洋、董金松、庞军 相关软件： Uppaal；自旋蛋白；ProB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；示踪剂；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ALUGrid公司 27篇文献引用（2008年-2023年） 软件作者： 安德烈亚斯·德纳（Andreas Dedner）、罗伯特·克罗夫科恩（Robert Klöfkorn）、马丁·诺尔特（Martin Nolte） 相关软件： DUNE-ALUGrid公司；DUNE；DuMuX… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
Cadence SMV公司 22篇文献引用（2000年至2018年） 软件作者： 麦克米兰K·L。 相关软件： NuSMV；自旋蛋白；SPOT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
RELION公司 27篇文献引用(2015–2023) 软件作者： S.H.W.Scheres公司 相关软件： 冷冻SPARC；EMan；法语… 主要字段： 统计学（62-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
兔子 23篇文献引用(2001–2022) 软件作者： 德克·贝尔；Lewerentz，克劳斯；安德烈亚斯·诺亚克 相关软件： Uppaal；克罗诺斯；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
Specware（特殊软件） 在25份文件中引用(1998–2019) 软件作者： Srinivas，Y.，Jullig，R。；瓦尔迪格，R。 相关软件： PVS；Nuprl；CASL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
CAVA LTL模型检查器 23篇文献引用(2015–2021) 软件作者： 哈维尔·埃斯帕尔扎（Javier Esparza）、彼得·兰米奇（Peter Lammich）、雷内·诺伊曼（ReneéNeumann）、托比亚斯·尼普科（Tobias Nipkow）、亚历山大·辛普夫；Jan-Georg Smaus公司 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
D爪 24篇文献引用(2014–2023) 软件作者： 乔治，大卫·L。；理查德·艾弗森。 相关软件： HE-E1GODF；GEOCLAW公司；PVM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
2马力 16篇文献引用(2006–2023) 软件作者： 帕森斯基，M。；Kurtz，J。；L.Demkowicz。 相关软件： 3Dhp90；MUMPS；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CSP校验器 17篇文献引用(2005–2022) 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
EMan公司 在15份文件中引用(2006–2023) 软件作者： 史蒂文·卢特克（Steven J.Ludtke）；菲利普·鲍德温（Philip R.Baldwin）；华秋 相关软件： 冷冻SPARC；关系；法语… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
QPSchur公司 17篇文献引用(2006–2022) 软件作者： 罗斯科·A·巴特利特。；Lorenz T.比格勒。 相关软件： qpOASES；LOQO；QPOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
YASM公司 在15份文件中引用(2006–2023) 软件作者： Arie Gurfinkel、Ou Wei、Marsha Chechik 相关软件： SLAM；爆炸；CUDD… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
美国国防部 14篇文献引用(1993–2008) 软件作者： 汤姆·卡夫利 相关软件： ElemStatLearn；LOQO；ANFIS公司 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马斯特罗 12份文件引用(2011–2020) 软件作者： 野中弥弥；A.S.阿尔姆格伦；J.B.Bell；利杰夫斯基；马龙；M.Zingale先生 相关软件： 卡斯特罗；BoxLib；RODAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
西格玛* 14篇文献引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
CTIGAR公司 11份文件引用(2016–2022) 软件作者： Birgmeier，J.、Bradley，A.R.、Weissenbacher，G。 相关软件： z3；PySMT；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）
Decogo公司 11份文件引用(2018–2023) 软件作者： 伊沃·诺瓦克；诺曼·布雷特菲尔德；Eligius M.T.亨德里克斯。；格列盖省Njacheun-Njanzoua 相关软件： Ipopt；皮奥莫；科幻小说… 主要字段： 运筹学、数学规划（90-XX）
VPM公司 4份文件引用(2005–2007) 软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza） 相关软件： VIATRA2；进度；AGG… 主要字段： 计算机科学（68-XX）
OCRA公司 9份文件引用(2015–2022) 软件作者： Cimatti，A。；Dorigatti，M。；托内塔，S。 相关软件： nuXmv；NuSMV；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
PSync（同步） 9份文件引用(2016–2023) 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格（Thomas A.Henzinger）。；达米安·祖弗里 相关软件： 威尔第；常春藤；ByMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.，Ehlers，R.，Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
厚板 6篇文献引用（2012年至2018年） 软件作者： Dräger，K.、Kupriyanov，A.、Finkbeiner，B.、Wehrheim，H。 相关软件： 金刚狼；SLAM；卫星… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VerbNet（动词网络） 引用于7份文件(2014–2022) 软件作者： 科罗拉多大学波德分校 相关软件： StanfordCoreNLP；小队；AQuA… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ASAP3公司 引用于7份文件(2005–2022) 软件作者： Natalie M.Steiger。；艾米丽·拉达（Emily K.Lada）。；詹姆斯·威尔逊（James R.Wilson）。；杰弗里·乔伊斯（Jeffrey A.Joines）。；克里斯托斯·阿列克索普洛斯；大卫·戈德曼 相关软件： AS 181；MultiVeStA；皮尔洛… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ASPIER公司 6篇文献引用(2011–2023) 软件作者： Chaki，S；达塔，A。 相关软件： ProVerify；NAXOS；EasyCrypt… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
接口_编码器_ AMR 引用于7份文件(2016–2022) 软件作者： 医学博士德尔·拉佐。；R.J.勒韦克。 相关软件： BBB_实验；拉回；CAVEAT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
乳白色的 6篇文献引用(2012–2021) 软件作者： Dalsgaard，A.E.、Hansen，R.R.、Jörgensen，K.Y.、Larsen，K.G.、Olesen，M.C.、Olsen，P.、Srba，J。 相关软件： Uppaal；算法97；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
萨彻姆ID 6篇文献引用(1995–2004) 软件作者： 唐纳德·洛夫兰（Donald W.Loveland）。；阿德南·H·叶海亚。 相关软件： 萨奇莫；DWAM；DCTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AGRIF公司 6篇文献引用(2005–2018) 软件作者： 劳伦特·德布鲁；克里斯托夫·沃兰德；埃里克·布莱奥（Eric Blayo）；印度 相关软件： rbf_qr；DistMesh；LIBSVM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
雅典娜++ 5份文件引用(2021–2023) 软件作者： James M.Stone、Kengo Tomida、Christopher J.White、Kyle G.Felker 相关软件： AMReX；闪光；冥王星… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
收件人：GAN 3份文件引用(2019–2021) 软件作者： 徐涛、张鹏川、黄秋元、张翰、江哲、黄晓蕾、何晓东 相关软件： 比根；Wasserstein GAN；CIFAR… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
CGM公司 6篇文献引用(2001–2019) 软件作者： 托格斯，T.J。 相关软件： CUBIT公司；大地水准仪；打开级联… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
C查找器 4份文件引用(2008–2018) 软件作者： Z.Yao、Z.Weinberg、W.L.Ruzzo 相关软件： 无间道；法国复兴信贷银行；pLoc mHum… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
漫画 4份文件引用(2014–2021) 软件作者： Jansen，Nils；”埃里卡·亚伯拉罕；沃尔克，马提亚斯；拉尔夫·威默（Ralf Wimmer）；Joost-Pieter Katoen；贝恩德·贝克尔 相关软件： 棱镜；DiPro公司；z3… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
FunFrog公司 5份文件引用(2013–2019) 软件作者： Ondrej Sery；格里戈里·费迪尤科维奇；娜塔莎·莎莉吉娜 相关软件： eVolCheck；佩里普洛；OpenSMT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
基因标记S 4份文件引用(2004–2017) 软件作者： Besemer J、Lomsadze A、Borodovsky M 相关软件： UniProt；InterProScan公司；EasyGene… 主要字段： 一般性和全局性主题；藏品（00-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
MPAS公司 6篇文献引用(2022–2023) 软件作者： 霍夫曼，M.J。；佩雷戈，M。；价格，S.F。；Lipscomb，W.H。；张，T。；雅各布森，D。；特泽尔，I。；塞林格，A.G。；杜米纳罗，R。；贝尔塔尼亚，L。 相关软件： 特里利诺斯；ISSM；皮亚尔巴尼… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
UMPa公司 5份文件引用(2013–2022) 软件作者： 乔塔利·尤雷，乌米特·V。；德维西，梅赫迈特；卡亚（Kamer Kaya）；博拉乌萨尔 相关软件： 稀疏矩阵；PaToH；佐尔坦… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
DivideMix公司 4份文件引用(2021–2023) 软件作者： 李俊南、理查德·索彻、史蒂文·霍伊 相关软件： 十字花科植物；MentorNet；混淆… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
FaPAS公司 4份文件引用(2013–2018) 软件作者： B.约丹诺夫，C.贝尔塔 相关软件： NuSMV；VeriSIMPL；算法97… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
NPCD公司 3份文件引用(2016–2022) 软件作者： Yi Zheng、Chia-Yi Chiu、Jeffrey A.Douglas 相关软件： 清洁发展机制；Mplus；GDINA… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ParTopS公司 2份文件引用(2011–2015) 软件作者： 罗德里戈·埃斯皮尼亚（Rodrigo Espinha）、瓦尔德马尔·塞莱斯（Waldemar Celes）、诺埃米·罗德里格斯（Noemi Rodriguez）、格劳西奥·保利诺（Glaucio H.Paulino） 相关软件： ParFUM；libMesh；CHARM++… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
读取深度 4份文件引用(2015–2018) 软件作者： Miller，CA等人。 相关软件： CNV-seq；R；ExomeWalker… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
空间数据卫星 4份文件引用(2006–2023) 软件作者： Ganai，马来语K；穆拉利达尔·塔卢普尔；阿尔蒂·古普塔 相关软件： YalSAT；CCAnr；玲玲… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
索马尔·莱斯 4份文件引用(2020–2023) 软件作者： 查拉马拉，V.K。；桑蒂利，E。；斯科蒂，A。；贾拉利，M。；萨卡尔，S。 相关软件： AMReX；p4测试；Gerris… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
SRRS公司 4份文件引用（2014年至2019年） 软件作者： 弗雷德里克·金兴（Frederick Kin Hing Phoa） 相关软件： 正交数组 主要字段： 统计学（62-XX）；数值分析（65-XX）
美国汽车制造商协会 3份文件引用(2018–2020) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；朱莉娅·萨皮娜 相关软件： 莫德；ABETS；Liquid Haskell… 主要字段： 一般性和全局性主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
库特 2份文件引用(2008–2017) 软件作者： Emsley P、Cowtan K。 相关软件： CCP4；PHENIX公司；退出… 主要字段： 一般性和全局性主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
PFCorr公司 3份文件引用(2013–2021) 软件作者： Chandrajit巴贾杰；Bauer，Benedikt；拉达克里什纳·贝塔达普拉；安捷·沃尔拉斯 相关软件： NFFT3；LORM；MTEX… 主要字段： 积分变换，运算微积分（44-XX）；流形和细胞复合体（57-XX）；统计学（62-XX）…
RSL公司 3份文件引用(1997–2007) 软件作者： Michalakes，John G.，阿贡国家实验室 相关软件： MM90；PETSc；MM5公司 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
西塔 2份文件引用(2015–2021) 软件作者： 乔蒂莫·德斯穆赫（Jyotirmoy Deshmukh）；金小青；詹姆斯·卡宾斯基（James Kapinski）；奥德·马勒 相关软件： 违约；S-TaLiRo；自适应压力测试.jl… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SymmPa公司 3份文件引用(2012–2017) 软件作者： 阿拉斯泰尔·唐纳森。；亚历山大·凯撒；Daniel Kroening；Michael Tautschnig；托马斯·沃尔 相关软件： 螺纹工；魔法；ASTREE… 主要字段： 计算机科学（68-XX）
合成蛋白 1份文件引用(2022) 软件作者： 奥利维娅·怀尔斯（Olivia Wiles）、乔治亚·吉奥萨里（Georgia Gkioxari）、理查德·塞利斯基（Richard Szeliski）、贾斯汀·约翰逊（Justin Johnson） 相关软件： ImageNet；PointNet；信根… 主要字段： 计算机科学（68-XX）
CAVA Automata库 2份文件引用(2018–2019) 软件作者： 彼得·兰米奇 相关软件： Gabow SCC；CAVA LTL模型检查器；存档正式证据… 主要字段： 计算机科学（68-XX）
派遣 1份文件引用(2020) 软件作者： 奥勒冈州诺德隆德。；Ramsey，J.P。；波波瓦斯，A。；Küffmeier，M。 相关软件： 雅典娜；宙斯；Dedalus… 主要字段： 流体力学（76-XX）
图形代码BERT 在0个文档中引用 软件作者： 大亚·郭、朔仁、帅路、张银峰、杜玉堂、刘淑杰、龙舟、南端、阿列克谢·斯维亚特科夫斯基、傅胜瑜、米歇尔·图法诺、邵坤登、科林·克莱门特、黎明排水沟、内尔·桑德雷桑、建银、大新江、明州 相关软件： CodeXGLUE；设计；代码BLEU… 主要字段： –
核心 2份文件引用(2002–2013) 软件作者： 卡斯特拉诺，G。；Castiello，C。；法内利，A.M。 相关软件： Matlab；支持向量机；代理… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
ParAFEMCap公司 2份文件引用(2013–2021) 软件作者： G.Chen、H.Zhu、T.Cui、Z.Chen、X.Zeng、W.Cai 相关软件： DistMesh；CGAL公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
推杆 1份文件引用(2013) 软件作者： Norel R.、Petrey D.、Honig B。 相关软件： MIBPB；Jmol；SIB-BLAST… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
立体网 2份文件引用(2022) 软件作者： 萨米赫·哈米斯（Sameh Khamis）、肖恩·法内洛（Sean Fanello）、克里斯托夫·莱曼（Christoph Rhemann）、阿达什·科德尔（Adarsh Kowdle）、朱利安·瓦伦丁（Julien Valentin）、沙赫拉姆·伊扎迪（Shahram Izadi） 相关软件： MobileNets；MOTS；样式GAN2… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TravMC公司 2份文件引用(2012–2017) 软件作者： 不远处，罗宾·P。；史蒂文·拉姆齐（Steven J.Ramsay）。；王志浩（音） 相关软件： TravMC2；github；MoCHi… 主要字段： 计算机科学（68-XX）
AMoRe公司 1份文件引用(2017) 软件作者： Navaza J、Saludjian P。 相关软件： ZCURVE；基因标记S；RDP2… 主要字段： 一般性和全局性主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
B测试框 1份文件引用(2021) 软件作者： de Azevedo Oliveira D、Medeiros V、Déharbe D、Musicante MA 相关软件： 罗丹；github；核心ASM… 主要字段： 计算机科学（68-XX）
ComFLOW公司 1份文件引用(2017) 软件作者： R.Luppes；B.杜兹；H.J.L.Van Der Heiden；P.Van Der Plas；A.E.P.Veldman公司 相关软件： 开放式泡沫 主要字段： 数值分析（65-XX）；流体力学（76-XX）
CoTexT公司 在0个文档中引用 软件作者： 龙潘、邱Tran、Daniel Le、Hieu Nguyen、James Anibal、Alec Peltekian、Yanfang Ye 相关软件： CodeXGLUE；PLBART公司；塔伯特… 主要字段： –
模式插值AMR.f90 1份文件引用（2015年） 软件作者： 德米特里·博罗维科夫；索科洛夫，伊戈尔五世。；塔斯，加博 相关软件： 帕拉梅什 主要字段： 数值分析（65-XX）；流体力学（76-XX）