棱镜 498份文件引用（2001年-2023年） 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
高超声速 320篇文献引用(1996–2024) 软件作者： 汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 相关软件： Uppaal；PHAVer；Kronos… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PLTMG公司 218篇文献引用(1990–2023) 软件作者： Randolph E.Bank；加利福尼亚大学 相关软件： 无人值守地面；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
DeepONet（深度网络） 214篇文献引用(2020–2024) 软件作者： 陆璐、金鹏展、乔治·埃姆·卡尼亚达克斯 相关软件： 亚当；DGM；DeepXDE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
力学 186篇文献引用(1994–2022) 软件作者： 海伦娜·E·努斯。；詹姆斯·约克（James A.Yorke）。 相关软件： 自动；HomCont；数学… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；粒子力学与系统（70-XX）…
GPOPS公司 103篇文献引用(2010–2023) 软件作者： Rao AV、Benson DA、Huntington GT、Francolin C、Darby CL、Patterson MA 相关软件： Ipopt；Matlab；SNOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
SpaceEx公司 90篇文献引用（2011年-2023年） 软件作者： Goran Frehse、Colas Le Guernic、Alexandre Donzé、Scott Cotton、Rajarshi Ray、Olivier Lebeltel、Rodolfo Ripado、Antoine Girard、Thao Dang、Oded Maler 相关软件： 高科技；流量*；PHAVer… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LIMbook（直线电机手册） 73篇文献引用(2016–2023) 软件作者： 路易吉·布鲁格纳诺；费利斯·伊韦纳罗 相关软件： BiMD；商业智能；罗达斯… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
RICPAC公司 67篇文献引用(1987–2023) 软件作者： W.F.Arnold；艾伦·J·劳布 相关软件： 算法432；Matlab；拉帕克… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）；变分法与最优控制；优化（49-XX）…
剪切实验室 52篇文献引用(2010–2023) 软件作者： 吉塔·库蒂尼奥克；莫特萨·沙赫拉姆；庄晓生 相关软件： 小波与多尺度库；NSCT工具箱；Matlab… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
ACSL公司 49篇文献引用(1975–2022) 软件作者： 爱德华·E·L·米切尔；Joseph S.Gauthier。 相关软件： Frama-C；Why3；卡拉卡拉… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
流量* 49篇文献引用(2015–2024) 软件作者： Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件： SpaceEx；d范围；高科技… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
HSolver公司 48篇文献引用(2005–2023) 软件作者： Stefan Ratschan；知坤社；托马斯·泽特库利奇 相关软件： RSOLVER公司；基准；高科技… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TREX公司 39篇文献引用(2001–2021) 软件作者： Aurore Annichini；艾哈迈德·布瓦贾尼；米哈埃拉·西希雷亚努 相关软件： 快速；高科技；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
TrueTime（真实时间） 40篇文献引用(2005–2021) 软件作者： 安东·塞文、丹·亨里克森、博·林肯、约翰·埃克、卡尔·埃里克·奥泽恩 相关软件： Matlab；Simulink；托舍… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CONTSID公司 39篇文献引用(2003–2023) 软件作者： Garnier，H.、Gilson，M.、Bastogne，T.、Mensler，M。 相关软件： 船长；系统识别工具箱；Matlab… 主要字段： 实函数（26-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
日/日 40篇文献引用(2002–2022) 软件作者： 细辛，尤金；Dang，Thao；奥德·马勒 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
椭圆工具箱 38篇文献引用(2006–2022) 软件作者： Kurzhanskiy，A.A。；瓦莱亚，P。 相关软件： SpaceEx；MPT；流量*… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TR-BDF2型 40篇文献引用(1996–2023) 软件作者： 何西阿，M.E。；沙姆平，L.F。 相关软件： 罗德斯；Matlab；MATLAB ODE套件… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CORA公司 35篇文献引用(2016–2023) 软件作者： Matthias Althoff，Niklas Kochdumper公司 相关软件： 流量*；SpaceEx；C2e2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DARPA时间 24篇文献引用(2005–2024) 软件作者： Garofolo，J.S.、Lamel，L.F.、Fisher，W.M.、Fiscus，J.G.、Pallett，D.S.、Dahlgren，N.L 相关软件： ImageNet；羊水过少；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
PDDE-CONT公司 35篇文献引用(1997–2023) 软件作者： 德克·鲁斯；罗伯特·萨莱 相关软件： DDE-BIFTOOL；克努特；自动… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
SUMO公司 在25份文件中引用(2010–2023) 软件作者： Daniel Krajzewicz、Jakob Erdmann、Michael Behrisch、Laura Bieker 相关软件： 开放街道地图；斯坦利布；升压… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
FracSym公司 33篇文献引用(2014–2023) 软件作者： 杰斐逊，G.F。；J.卡米蒂娜。 相关软件： 德索尔VII；ASP；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
TC-HAT公司 32篇文献引用(2008–2023) 软件作者： Thota，P.，Dankowicz，H。 相关软件： 幻灯片控制；自动；可可… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
AILU公司 在28份文件中引用(2000–2022) 软件作者： 马丁·甘德（Martin J.Gander）。；弗雷德里克·纳塔夫 相关软件： 派系；PSP；STRUMPACK… 主要字段： 偏微分方程（35-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
VESTA公司 22篇文献引用(2007–2021) 软件作者： Koushik Sen、Mahesh Viswanathan、Gul Agha 相关软件： 棱镜；莫德；HOL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
GASP四 24篇文献引用(1974–2006) 软件作者： A.Alan B.Pritsker。 相关软件： SIMSCRIPT；Simula 67；DYNAMO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o克林戈；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
罗尔米普 24篇文献引用(2016–2024) 软件作者： Agulhari，C.M。；奥利维拉，R.C.L.F。；佩雷斯，P.L.D。 相关软件： YALMIP；莫塞克；SeDuMi… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
SADE公司 23篇文献引用（2011年-2023年） 软件作者： 塔西西奥·M·罗查·菲略。；Annibal Figueiredo；纳兹、雷哈纳；汗，穆罕默德·丹麦语；伊姆兰·纳伊姆 相关软件： 宝石；向量场Lie代数；德索尔VII… 主要字段： 场论与多项式（12-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
查龙 17篇文献引用(2000–2017) 软件作者： 拉杰夫·阿鲁尔；格鲁苏，拉杜；Hur，Yerang；维杰·库马尔；李因苏普 相关软件： 高科技；SpaceEx；酯类… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MEXX公司 19份文件引用(1995–2019) 软件作者： 克里斯蒂安·卢比奇；乌尔里希·诺瓦克（Ulrich Nowak）；乌维·普勒；克里斯蒂安·恩斯特勒 相关软件： 罗德斯；DASSL；MBSPACK… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
PVeStA公司 14篇文献引用（2011年-2023年） 软件作者： AlTurki，M.，Meseguer，J 相关软件： 莫德；PMaude；VESTA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
RSBR公司_ 18篇文献引用(2001–2020) 软件作者： 钟宁；董菊珍；Setsuo Ohsuga 相关软件： LERS；C4.5；D-SCIDS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
阿里阿德涅 17篇文献引用(2008–2023) 软件作者： 卢卡·本维努蒂；大卫·布雷索林；Pieter Collins；阿尔贝托法拉利；卢卡·格雷蒂；蒂齐亚诺别墅 相关软件： 高科技；SpaceEx；PHAVer… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伦敦商学院 引用于16份文件（2010年至2022年） 软件作者： 迈克尔·佩德森（Michael Pedersen）；戈登·普洛金（Gordon D.Plotkin）。 相关软件： 生物-PEPA；BioNetGen公司；生物活性炭… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JuliaReach公司 在15份文件中引用(2018–2024) 软件作者： Sergiy Bogomolov、Marcelo Forets、Goran Frehse、Kostiantyn Potomkin、Christian Schilling 相关软件： SpaceEx；流量*；CORA… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
系统动力学 13份文件引用(2002–2017) 软件作者： Ventana系统公司 相关软件： DYNAMO公司；MINITAB公司；Python… 主要字段： 数学逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
HTK公司 8份文件引用(1997–2007) 软件作者： 杨，S.J；剑桥大学工程系（CUED） 相关软件： 普拉特；拉斯塔马特；斯芬克斯二世… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
可视化DSD 在15份文件中引用(2013–2023) 软件作者： 拉金，M.R.，优素福，S.，波罗，F.，埃米特，S.，菲利普斯，A。 相关软件： 棱镜；z3；Z34Bio… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；对照（93-XX）…
AIFS公司 14篇文献引用(2001–2011) 软件作者： 科奇，卢比{s} 一个M。 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；测量和集成（28-XX）；动力系统和遍历理论（37-XX）…
侵蚀 14篇文献引用(2017–2024) 软件作者： Cardelli，L.、Tribastone，M.、Tschaikowski，M.和Vandin，A。 相关软件： CLUE；z3；NFsim… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
AMT公司 12份文件引用(2008–2018) 软件作者： D.尼科维奇，O.马勒 相关软件： Uppaal；SpaceEx；棱镜… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Exa-调整 11份文件引用(2015–2021) 软件作者： Peter Bastian、Mirco Altenbernd、Nils Arne Dreier、Christian Engwer、Jorrit Fahlke、RenéFritze、Markus Geveler、Dominik Göddeke、Oleg Iliev、Olaf Ippisch、Jan Mohring、Steffen Müthing、Mario Ohlberger、Dirk Ribbock、Nikolay Shegunov、Stefan Turek 相关软件： p4测试；交易.ii；DUNE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
bc-opt公司 12份文件引用（1999年-2010年） 软件作者： 科迪埃、塞西尔；Marchand，Hugues；理查德·朗迪（Richard Laundy）；劳伦斯·A·沃尔西。 相关软件： CPLEX；阿巴克斯；协和式飞机… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
莫拉布 11份文件引用(2018–2023) 软件作者： 彼得·本纳（Peter Benner）、斯特芬·W·R·沃纳（Steffen W.R.Werner） 相关软件： MESS；RADI；SOLBT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
拉马斯 12份文件引用(2006–2013) 软件作者： 马吕斯·克劳泽（Marius Kloetzer）；卡林·贝尔塔 相关软件： RoVerGeNe；高科技；PHAVer… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SCASY公司 12份文件引用(2009–2020) 软件作者： 罗伯特·格拉纳特（Robert Granat）；Isak Jonsson；科格斯特罗姆，波 相关软件： ScaLAPACK；算法432；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
混合系统实验室 11份文件引用(2021–2024) 软件作者： 里卡多·桑费利斯（Ricardo G.Sanfelice）。 相关软件： github；HyEQ；YALMIP… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
JIDT公司 6篇文献引用(2018–2021) 软件作者： 约瑟夫·利泽尔、伊佩克·泽德米尔、佩德罗·梅迪亚诺 相关软件： TRENTOOL公司；Python；MuTE… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
斯皮科 10篇文献引用(2007–2020) 软件作者： 科特勒，塞林；塞德里克·侯赛因；约阿希姆·尼伦 相关软件： 生物-PEPA；BioNetGen公司；BlenX… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Yampa公司 9份文件引用(2003–2020) 软件作者： 亨利克·尼尔森（Henrik Nilsson）、安东尼·考特尼（Antony Courtney） 相关软件： 哈斯克尔；酯类；LUSTRE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.、Ehlers，R.、Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
鲁莽的 8份文件引用(2004–2022) 软件作者： 罗伯特·格拉纳特（Robert Granat）；Isak Jonsson；科格斯特罗姆，波 相关软件： mctoolbox；BLAS；GEMM… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
SPeeDI公司 7份文件引用(2002–2017) 软件作者： 细辛，尤金；佩斯，戈登；杰拉尔多·施耐德；塞尔吉奥·尤文 相关软件： GSPeeDI公司；高科技；ParaPlan… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
斯托克Hy 8份文件引用(2019–2023) 软件作者： Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件： 棱镜；FAUST2；SReachTools… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
杂交Sal 4份文件引用(2009–2020) 软件作者： 蒂瓦里，A。 相关软件： HSolver；RSOLVER公司；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MEIGO公司 2份文件引用(2010–2019) 软件作者： Egea JA、Henriques D、Cokelaer T、Villaverde AF、MacNamara A、Danciu DP、Banga JR、Saez-Rodriguez J。 相关软件： COPASI；数据2Dynamics；AMIGO… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
MIONet公司 7份文件引用(2023–2024) 软件作者： 金、彭湛；孟帅；卢，卢 相关软件： DeepONet；亚当；DeepXDE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NL控制 7份文件引用(2016–2020) 软件作者： Belikov，J.、Kotta，UE、Tónso，M。 相关软件： 数学；矿石代数分析；矿石形态… 主要字段： 实函数（26-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
ReachNN公司 7份文件引用(2021–2022) 软件作者： 黄超、范嘉萌、李文超、陈欣、朱琦 相关软件： Reluplex；流量*；SpaceEx… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SABRE公司 5份文件引用(2011–2016) 软件作者： Didier，F.，Henzinger，T.A.，Mateescu，M.，Wolf，V 相关软件： 棱镜；玛丽；生物PEPA… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
特里波利-4 7份文件引用(2015–2023) 软件作者： E.Brun、F.Damian、C.M.Diop、E.Dumonteil、F.X.Hugot、C.Jouanne、Y.K.Lee、F.Malvagi、A.Mazzolo、O.Petit、J.C.Trama、T.Visonneau、A.Zoia 相关软件： 推力；OpenMC；MCATK… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
X速度 6篇文献引用(2017–2022) 软件作者： 雷，Rajarshi；阿米特·古龙 相关软件： SpaceEx；JuliaReach；流量*… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
CollocInfer公司 引用于3份文件(2015–2019) 软件作者： 贾尔斯·胡克、罗晓、詹姆斯·拉姆齐 相关软件： 解算；R；华丽… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
发电机 5份文件引用(2015–2021) 软件作者： M.N.Bannerman、R.Sargant、L.Lue先生 相关软件： CHARMM；琥珀色；德斯蒙德… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
HyLAA公司 6篇文献引用(2017–2023) 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： CORA；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
帕洛马 4份文件引用(2016–2020) 软件作者： 程峰、简·希尔斯顿 相关软件： SCEL；CARMA公司；生物PEPA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
多聚体 6篇文献引用(2010–2017) 软件作者： 迪米特洛娃，埃琳娜；加西亚·普恩特（García-Puente），路易斯·戴维（Luis David）；弗兰齐斯卡·辛克尔曼；阿卜杜勒·贾拉。；莱因哈德·劳本巴赫；布兰迪林·斯蒂格勒；迈克尔·斯蒂尔曼；维拉·利科纳（Vera-Licona，Paola） 相关软件： 亚当；麦考利2号；SageMath… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
小队 5份文件引用(2010–2021) 软件作者： 阿克拉姆·门德斯；卡洛斯·拉米雷斯；莫里西奥·佩雷斯·马丁内斯；曼多萨 相关软件： 动态记录仪；gplots；否定… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
巴赫 5份文件引用(2010–2018) 软件作者： Bu L、Li Y、Wang L和Li X 相关软件： SpaceEx；高科技；PHAVer… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HyPro公司 5份文件引用(2019–2022) 软件作者： 斯特凡·舒普（Stefan Schupp）、埃里卡·阿布拉姆（Erika Al brahám）、伊布蒂森·本·马克洛夫（Ibtisem Ben Makhlouf）、斯特凡·科瓦列夫斯基（Stefan-Kowalewski） 相关软件： JuliaReach；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
信息 4份文件引用(2009–2015) 软件作者： Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 相关软件： 棱镜；APMC；SBML测试套件… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
千ProbLog 5份文件引用(2016–2021) 软件作者： 弗朗西斯科·奥西尼；保罗·弗雷斯科尼；吕克·德·雷德 相关软件： ProbLog；戴纳；博客… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；Nitpick公司；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PSCAD软件 引用于3份文件(2015–2019) 软件作者： 马尼托巴水电国际有限公司各部门。 相关软件： Matlab；Simulink；神经网络工具箱… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；光学、电磁理论（78-XX）…
QSWalk。米 4份文件引用(2017–2021) 软件作者： P.Falloon、J.Rodriguez、J.Wang 相关软件： QSWalk；qwViz；pyCTQW… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
索瓦 5份文件引用(2008–2019) 软件作者： D.马龙。 相关软件： wmtsa；W2CWM2C；StFinMetrics… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
Stabhyli公司 5份文件引用(2013–2020) 软件作者： 莫尔曼，艾克；奥利弗·泰尔 相关软件： 平均值；SpaceEx；PPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
瓦沃斯 5份文件引用(2014–2019) 软件作者： Harang，R.、Bonnet，G.和Petzold，L.R。 相关软件： URDME；fda（R）；波钟… 主要字段： 偏微分方程（35-XX）；欧氏空间（42-XX）的调和分析；统计学（62-XX）…
贝叶斯波浪 引用于3份文件(2019–2023) 软件作者： 新泽西州科尼什市，利滕贝格T.B。 相关软件： github；比尔比；P摘要… 主要字段： 拓扑群，李群（22-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
现金收入 引用于3份文件(2021–2023) 软件作者： 塞巴斯蒂安·布劳斯 相关软件： FEniCS；PETSc；萤火虫… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
克拉罗 4份文件引用(2013–2021) 软件作者： Thanh T.L.Tran、Liping Peng、Yanlei Diao、Andrew McGregor、Anna Liu 相关软件： 五月BMS；MYSTIQ；三重奏… 主要字段： 一般性和全局性主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
ConQAT公司 2份文件引用(2009–2021) 软件作者： Deißenböck，F。；海涅曼，L。；Hummel，B。；尤尔根斯，E。 相关软件： 方面J；FACTum；Klocwork… 主要字段： 计算机科学（68-XX）
CTRW公司 4份文件引用(2016–2019) 软件作者： Andrea Cortis，Brian Berkowitz 相关软件： Matlab；GSLIB公司 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；数值分析（65-XX）…
DOTcvpSB公司 引用于3份文件(2014–2017) 软件作者： 托马斯·希尔马耶；伊娃·巴尔萨·坎托；胡里奥·班加 相关软件： DOTcvp公司 主要字段： 变分法与最优控制；优化（49-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
HI-Maud（高强度） 1份文件引用(2015) 软件作者： 穆罕默德·法德利西亚（Muhammad Fadlisyah）；彼得·塞巴·奥维茨基 相关软件： 莫德；莫德-NPA；P审计… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
爱奇艺科技 4份文件引用(2015–2023) 软件作者： 黄，李；王毅林；孟子阳；杜亮；菲利普·沃纳（Philipp Werner）；戴、西 相关软件： TRIQS；ALPSCore；ct-hyb… 主要字段： 几个复变量与解析空间（32-XX）；算子理论（47-XX）；数值分析（65-XX）…
LySHA公司 4份文件引用（2012年至2021年） 软件作者： Duggirala，Parasara Sridhar；萨扬·密特拉 相关软件： 凯伊迈拉；凯伊迈拉X；流量*… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
NAT2测试 4份文件引用(2016–2023) 软件作者： 卡瓦略G、巴罗斯F、卡瓦略A、卡瓦尔康蒂A、莫塔A、桑帕约A 相关软件： FDR3；Z；马戏团… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
nn控制器 4份文件引用(2020–2021) 软件作者： 赵恒军；曾、夏；陈、陶璐；刘志明；吉姆·伍德科克 相关软件： Reluplex；夏洛克；ReachNN… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
PRISM-PSY公司 4份文件引用(2018) 软件作者： 乔什卡，M.，Pilař，P.，Paoletti，N.，Brim，L.，Kwiatkowska，M。 相关软件： 棱镜；PROPhESY公司；PPL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
pyCTQW公司 引用于3份文件(2015–2021) 软件作者： 约什·A·伊扎克。；王京波B。 相关软件： QSWalk.m；qwViz；QWalk… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）