蟒蛇 1429年文献引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PHC包 250篇文献引用(1999–2024) 软件作者： Jan Verschelde公司 相关软件： 贝尔蒂尼；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（比基尼） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
Risa/Asir公司 122篇文献引用(1992–2024) 软件作者： 北野正彦、横山和弘、竹岛拓夫、下山竹石、安井广志、，Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama（致力于基础设计、内核源代码和核心库）。关于库的提交者和最近的贡献者，请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。 相关软件： 单一；麦考利2号；Kan… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
阿巴克斯 117篇文献引用(1996–2022) 软件作者： 精灵，马提亚斯；卡斯滕·古特温格；迈克尔·Jünger；乔瓦尼·里纳尔迪 相关软件： CPLEX；MINTO公司；SYMPHONY… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
锡林克斯 24篇文献引用（1994年-2023年） 软件作者： Xilinx公司。 相关软件： Handel-C；Matlab；Simulink… 主要字段： 场论与多项式（12-XX）；计算机科学（68-XX）；量子理论（81-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）…
渠流 88篇文献引用(2008–2023) 软件作者： J.F.吉布森 相关软件： Matlab；FFTW；piDMD… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
KeY公司 55份文件引用(2000–2023) 软件作者： http://www.key-project.org/people.html 相关软件： JML；ESC/Java；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
BOINC公司 23篇文献引用(2006–2023) 软件作者： D.P.安德森 相关软件： XtremWeb；Globus工具包；和弦… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
KORBX公司 56篇文献引用(1990–2018) 软件作者： 美国电话电报公司；William J.Carolan、James E.Hill、Jeffery L.Kennington、Sandra Niemi和Stephen J.Wichmann 相关软件： 综合项目管理；MINOS；DEVEX… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
剪切实验室 52篇文献引用(2010–2023) 软件作者： 吉塔·库蒂尼奥克；莫特萨·沙赫拉姆；庄晓生 相关软件： 小波与多尺度库；NSCT工具箱；Matlab… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
仿真软件 在48份文件中引用(2004–2024) 软件作者： 国家仪器公司 相关软件： Matlab；分数阶混沌系统；美国有线电视新闻网… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；变形固体力学（74-XX）…
R度量 40篇文献引用(2008–2023) 软件作者： Rmetrics协会 相关软件： R；fGarch；基础… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
系统C 29篇文献引用(2002–2017) 软件作者： 大卫·C·布莱克。；杰克·多诺万。 相关软件： 皮纳帕；LusSy；酯类… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
百万流量 38篇文献引用(2000–2023) 软件作者： R·鲁德尼克。 相关软件： TAU；FLOWer公司；Spalart-Allmaras… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MR和LTV合成工具 37篇文献引用(1999–2023) 软件作者： 卡罗尔·皮里；盖尔·杜勒鲁（Geir E.Dullerud）。 相关软件： YALMIP；SeDuMi公司；LMI工具箱… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；运筹学，数学规划（90-XX）…
摩塞尔 37篇文献引用(2003–2021) 软件作者： Fair Isaac公司；Colombani Y.、Heipcke S。 相关软件： 快速表达；AMPL；游戏… 主要字段： 总体主题；藏品（00-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
Java CoG工具包 12份文件引用(2001–2010) 软件作者： 冯·拉舍夫斯基（von Laszewski），格雷戈（Gregor）；Jarek Gawor；彼得·莱恩（Peter Lane）；雷恩、内尔；拉塞尔，迈克 相关软件： Globus工具包；飞马座；Condor-G… 主要字段： 计算机科学（68-XX）；地球物理学（86-XX）；生物学和其他自然科学（92-XX）
CCSTM公司 34份文件引用(2010) 软件作者： N.G.Bronson，H.Cha。，K.Olukotun公司 相关软件： – 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
迪纳摩 19份文件引用(2011–2023) 软件作者： 迪坎迪亚，G。；哈斯托伦，D。；詹帕尼，M。；Kakulapati，G。；拉克希曼，A。；皮尔钦，A。；Sivasubramanian，S。；Vosshall，P。；沃格尔，W。 相关软件： 卡桑德拉；和弦；Bigtable… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
卡桑德拉 22篇文献引用(2012–2023) 软件作者： Lakshman，A.，Malik，P。 相关软件： 发电机；Bigtable；MongoDB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
复合式MuPAD 24篇文献引用(2004–2019) 软件作者： 弗朗索瓦·德斯库恩斯 相关软件： MuPAD；组织环境信息系统；SageMath… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
罗塞塔 21篇文献引用(1998–2021) 软件作者： 亚历山大·赫恩；Komorowski，Jan；安德烈·斯科伦（Andrzej Skowron）；彼得·西纳克 相关软件： UCI-ml；LERS；RSES… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
Specware（特殊软件） 25篇文献引用(1998–2019) 软件作者： Srinivas，Y.，Jullig，R。；Waldiger，R。 相关软件： PVS；Nuprl；CASL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
PSBLAS公司 23篇文献引用(2000–2021) 软件作者： 达安布拉，帕斯卡；迪塞拉菲诺，丹妮拉；萨尔瓦多菲利波内 相关软件： MLD2P4；2LEV-D2P4；特里利诺斯… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
中国科学院 22篇文献引用(1984–2020) 软件作者： Neubüser，J.等人。；Pahlings，H。；普莱斯肯，W。 相关软件： 间隙；ATLAS集团代表；岩浆… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；群论与推广（20-XX）…
SONET公司 22篇文献引用(1996–2013) 软件作者： – 相关软件： SNDlib；TSPLIB；蜘蛛… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
ArchJava建筑 10篇文献引用(2002–2017) 软件作者： 乔纳森·奥尔德里奇；钱伯斯，克雷格；大卫·诺金 相关软件： SOFA 2.0；宽带；UMLDiff… 主要字段： 计算机科学（68-XX）
客户端软件产品 8份文件引用(2008–2019) 软件作者： – 相关软件： R；rgdal；rgeos… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；地球物理学（86-XX）…
MizarMode（米扎尔模式） 18篇文献引用(2006–2019) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
大都市 7份文件引用(2006–2018) 软件作者： Balarin F、Watanabe Y、Hsieh H、Lavagno L、Passerone C、Sangiovanni-Vincentelli A 相关软件： 托勒密；里奥；LUSTRE… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
暂停 17篇文献引用(1980–2021) 软件作者： 威廉·库拉托（William G.Kurator）。；理查德·奥尼尔。 相关软件： 古罗比；SCS；CVXPY… 主要字段： 偏微分方程（35-XX）；流形和细胞复合体（57-XX）；数值分析（65-XX）…
JCLEC公司 2份文件引用(2009–2015) 软件作者： 塞巴斯蒂安·文图拉、克里斯托巴尔·罗梅罗、阿米莉亚·扎夫拉、何塞·A·德尔加多、塞萨尔·埃尔瓦斯 相关软件： KEEL；UCI-ml；欧洲法院… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MA42型 16篇文献引用（1994年至2004年） 软件作者： 达夫，I。；斯科特，J。 相关软件： 爆破；HSL；MA32… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
高迪 在11份文件中引用(2001–2010) 软件作者： 巴兰德，G。；I·贝利亚耶夫。；宾科，P。；Cattaneo，M。；Chytracek，R。；科尔蒂，G。；M.弗兰克。；格雷西亚，G。；哈维，J。；van Herwijnen，E。；Maley，P。；马托，P。；Probst，S。；F.兰贾德。 相关软件： 根；RapidSim；Scikit… 主要字段： 总体主题；藏品（00-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
马斯科特 12份文件引用(1997–2022) 软件作者： 佩雷·桑乔（Pere P.Sancho）、卡洛斯·尤兹（Carlos Juiz）、拉蒙·普贾纳（Ramon Puigjaner） 相关软件： LSTRS；贝叶斯DA；翡翠… 主要字段： 数论（11-XX）；近似和展开（41-XX）；数值分析（65-XX）…
PID_调整 14篇文献引用（2005年至2021年） 软件作者： 拉斯·埃里克森 相关软件： YALMIP；SeDuMi公司；Matlab… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；系统论；控制（93-XX）…
DeepXlore公司 9份文件引用(2019–2023) 软件作者： 裴可欣、曹银芝、杨俊峰、贾苏曼 相关软件： 深度愚人；ImageNet；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
起源 10篇文献引用(2004–2017) 软件作者： Vanderplaats研发公司 相关软件： OptiStruct；运输部；ABAQUS/标准… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
开放CMISS 10篇文献引用(2013–2023) 软件作者： 生理学项目；Bradley，C.、Bowery，A.、Britten，R.、Budelmann，V.、Camara，O.、Christie，R.，Cookson，A.、Frangi，A.F.、Gamage，T.B.、Heidlauf，T.等 相关软件： FEniCS；交易.ii；贞洁… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
UML2合金 6篇文献引用(2008–2015) 软件作者： Anastasakis，K.、Bordbar，B.、Georg，G.、Ray，I 相关软件： HOL-OCL；莫德；ATL… 主要字段： 计算机科学（68-XX）
法尔科 10篇文献引用(2000–2012) 软件作者： 西门子；贝格尔，伊贡；彼得·帕平豪斯；乔阿希姆·施密德 相关软件： 核心ASM；元声波；罗丹… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
FisPro公司 6篇文献引用(2008–2022) 软件作者： 纪尧姆，S。；Charnomodic，B。 相关软件： R；C4.5；AS 136… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
打开DX 在11份文件中引用(2002–2016) 软件作者： 大卫·汤普森、杰夫·布劳恩、雷·福特 相关软件： FEniCS；PETSc；VTK… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
欧西里克斯 5份文件引用(2015–2018) 软件作者： Antoine Rosset、Luca Spadola、Osman Ratib 相关软件： VTK；PixelMed；ITK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
欧拉努斯 9份文件引用(1993–2014) 软件作者： 亚瑟·里兹；彼得·埃利亚松；林德布拉德，英格玛；查尔斯·赫希（Charles Hirsch）；克里斯·拉科尔（Chris Lacor）；Haeuser，Jochem公司 相关软件： 飞马座5号；韦塞林 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
机构动态仿真模块组 9份文件引用(2005–2023) 软件作者： 格兰·理查德·J。 相关软件： Matlab；Visual Basic；VBA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
WIAS-TeSCA公司 9份文件引用(2003–2019) 软件作者： H.Gajewski、M.Liero、R.Nurnberg、H.Stephan、WIAS 相关软件： Sentaurus设备 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
X模糊 5份文件引用(2001–2021) 软件作者： D.R.Lopez；C.J.Jimenez；I.巴图隆；A.巴里加；S.桑切斯·索拉诺 相关软件： XFL3；NEFCLASS-X；FuzzyLogic.jl… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
束 3份文件引用(2013–2018) 软件作者： Mancoridis，S.、Mitchell，B.、Chen，Y.、Gansner，E。 相关软件： 蚂蚁；集群发现；CPLEX… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
卡塔布兰卡 7份文件引用(2003–2020) 软件作者： W.B.范德海登。；医学博士Dendy。；新墨西哥州帕迪亚尔·科林斯。 相关软件： 爆破；JAMA；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
堆芯2 8份文件引用(2010–2022) 软件作者： 俞继洪；耶，琪；杜子林；Pion，Sylvain；埃尔维·布伦尼曼 相关软件： CGAL；LEDA；MPFR… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）
MeCoSim公司 8份文件引用(2012–2020) 软件作者： 佩雷兹·赫塔多，I。；瓦伦西亚-卡布雷拉。；Pérez-Jiménez，M.J。；Colomer，医学硕士。；Riscos-Nüñez，A。 相关软件： P-Lingua公司；PMCGPU；CuSNP… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者： JoséJ.Pazos Arias。；加西亚·杜克（Jorge García Duque） 相关软件： PVS；SLAM；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
验证 6篇文献引用(2021–2024) 软件作者： 托马索·德罗西（Tommaso Dreossi）、丹尼尔·弗雷蒙特（Daniel J.Fremont）、施洛蒙娜·戈什（Shromona Ghosh）、爱德华·金（Edward Kim）、哈迪·拉文巴赫（Hadi Ravanbakhsh）、马塞尔·巴斯奎兹·香拉特（Marcell Vazque 相关软件： Reluplex；NNV；阿波罗… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
X-FCSR公司 8份文件引用(2007–2017) 软件作者： 弗朗索瓦·阿尔诺；蒂埃里·伯杰（Thierry P.Berger）。；塞德里克·劳拉多克斯；Minier，海军 相关软件： eSTREAM；mCrypton；Quark… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ADIC2公司 7份文件引用(2012–2018) 软件作者： Sri Hari Krishna Narayanan；博亚娜·诺里斯；比塔·温尼卡 相关软件： ADIC；ADOL-C；锥体… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
DGGHR3公司 7份文件引用(2015–2022) 软件作者： 拉尔斯·卡尔森（Lars Karlsson）；法国蒂索 相关软件： DGGHRD；NLEVP；Chebfun… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）；算子理论（47-XX）…
DGGHRD公司 7份文件引用(2015–2022) 软件作者： 拉尔斯·卡尔森（Lars Karlsson）；法国蒂瑟{c} 欧斯 相关软件： DGGHR3；NLEVP；Chebfun… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）；算子理论（47-XX）…
精灵 7份文件引用(2011–2023) 软件作者： C.Andreopoulos等人。， 相关软件： 贝尔二世；PYTHIA8；CRMC… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
网格端口 6篇文献引用（2002年至2006年） 软件作者： M.托马斯；S.模型；M.Dahan；K.米勒；D.萨顿；J.R.博伊索 相关软件： 关贸总协定；Globus工具包；Condor-G… 主要字段： 计算机科学（68-XX）；地球物理学（86-XX）
蒙巴萨 7份文件引用（2002年-2023年） 软件作者： 安德烈亚斯·费斯塔格；韦斯特霍夫，拉尔斯；亚当·沃利斯 相关软件： MacMPEC公司 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Picat-SAT卫星 6篇文献引用(2017–2022) 软件作者： Zhou，N.-F.，Kjellerstrand，H。 相关软件： 微量锌；CHUFFED公司；桑尼… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
磅/平方英寸 7份文件引用(2012–2022) 软件作者： Powersim公司。 相关软件： Matlab；Turbo Pascal；SymPowerSystems… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
RacerPro赛车 7份文件引用(2014–2022) 软件作者： Haarslev，V.、Hidde，K.、Möller，R.、Wessel，M。 相关软件： 赫密特；赛车手；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
安培桑（Ampersand） 6篇文献引用(2011–2018) 软件作者： 杰拉德·米歇尔斯（Gerard Michels）；塞巴斯蒂安·乔斯顿；Jaap van der Woude；斯特夫·乔斯顿 相关软件： Z；RelView；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
极光 5份文件引用(2009–2021) 软件作者： De Paiva，E.C.公司。；阿齐尼埃拉，J.R。；Ramos，J.G。；Moutinho，A。；S.S.布埃诺。 相关软件： 冲浪；InerVis；摄像机校准… 主要字段： 地球物理学（86-XX）；系统论；控制（93-XX）
焦点测试 6篇文献引用(2011–2018) 软件作者： 卡利埃、马蒂厄；凯瑟琳·杜布瓦（Catherine Dubois）；阿尔诺·哥特利布 相关软件： 快速检查；辅酶q；SmallCheck… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
麦克斯韦 5份文件引用(2001–2017) 软件作者： ANSYS有限元分析软件 相关软件： FEniCS；交易.ii；COMSOL… 主要字段： 偏微分方程（35-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
美国国家统计局 6篇文献引用(2018–2023) 软件作者： 李海生；李春雨；陈晓；夏海莹 相关软件： Matlab；JPEG2000；QRunes公司 主要字段： 欧氏空间（42-XX）的调和分析；微分几何（53-XX）；计算机科学（68-XX）…
PAROC公司 6篇文献引用(2015–2021) 软件作者： 皮斯蒂科普洛斯，E.N。；Diangelakis，北美。；Oberdieck，R。；Papathanasiou，M.M。；纳斯库，I。；Sun，M。 相关软件： POP；安提戈内；MPT… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
波利斯 6篇文献引用(2002–2007) 软件作者： 马西莫·巴莱尼；马西莫·孔蒂（Massimo Conti）；法拉利，阿尔贝托；瓦莱里奥·弗雷斯科拉；阿尔贝托Sangiovanni-Vincentelli 相关软件： 多时性；糠；MiBench… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SInt公司 6篇文献引用(2013–2021) 软件作者： 安娜·康西奥。；维克托·G·克拉夫琴科。；何塞·佩雷拉。 相关软件： Mathematica；A规格成对标尺；A规格配对矩阵… 主要字段： 复变量函数（30-XX）；近似和展开（41-XX）；积分方程（45-XX）…
维拉 6篇文献引用(2015–2021) 软件作者： 约翰·特纳（John A.Turner）、凯文·克拉诺（Kevin Clarno）、马特·西格（Matt Sieger）、罗斯科·巴特利特（Roscoe Bartlett）、本杰明·柯林斯（Benjamin Collins）、罗杰·鲍洛夫斯基（Roger Pawlowski）、罗德尼· 相关软件： 班次；德诺沃；特里利诺斯… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
自动平衡器 5份文件引用(2000–2010) 软件作者： 佐藤加美；富米奥·金弘；玉崎县田宫；Inaba，Masayuki；Hirochika井上 相关软件： – 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
CCUBE公司 4份文件引用（1997年至2013年） 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情的；DEDALE… 主要字段： 计算机科学（68-XX）
深红色的 5份文件引用(2022–2023) 软件作者： 亚瑟，C。；Khlebnikov，R。；梅尔维尔，A。；A.戈麦斯。；Dillon-Murphy，D。；库莫，F。；维埃拉，M。；肖伦伯格，J。；Lynch，S。；Tossas-Betancourt，C.等人。 相关软件： SimVascular公司；U-Net；nnU-Net… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
EDPEPPS公司 5份文件引用(1997–2000) 软件作者： 蒂埃里·德莱特；杰马尔·齐默利；乔治·里贝罗·朱斯托（George R.Ribeiro Justo）；资产阶级，朱利安；史蒂芬·温特（Stephen C.Winter）。 相关软件： PVMGraph；Chronos；MPI… 主要字段： 计算机科学（68-XX）
GRAS公司 4份文件引用（1996-2020） 软件作者： Kiesel，N.、Schürr，A.、Westfechtel，B。 相关软件： SPARQL；进度；REforDI… 主要字段： 计算机科学（68-XX）
Hy3S公司 5份文件引用(2015–2019) 软件作者： H.Salis、V.Sotiropoulos、Y.N.Kaznessis 相关软件： COPASI；DASSL；URDME… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
libmpdata数据库++ 5份文件引用(2015–2020) 软件作者： Jaruga A、Arabas S、Jarecka D、Pawlowska H、Smolarkiewicz PK、Waruszewski M 相关软件： MPDATA；EULAG；NICAM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
MFE公司 4份文件引用(2012–2023) 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 相关软件： 莫德；ITP；P审计… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
开放ORB 3份文件引用(2001–2008) 软件作者： 布莱尔，戈登·S。；乔夫·库尔森（Geoff Coulson）；克拉克，迈克尔；尼科斯·帕拉文扎斯 相关软件： ABLE；JBoss；方面J 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
p3增量 5份文件引用(2021–2023) 软件作者： 布萨达，伊斯兰；吉勒梅尔·马赞蒂；尼古列斯库，西尔维乌·尤利安；朱利安·休恩；Sim，Franck；托马斯·马蒂厄 相关软件： DLMF；粘合剂2.0；蟒蛇 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；系统论；控制（93-XX）
P旋流器 5份文件引用(2021–2024) 软件作者： S.V.Adams、R.W.Ford、M.Hambley、J.M.Hobson、I.Kavcic、C.M.Maynard、T.Melvin、E.H Mueller、S.Mullerworth、A.R.Porter、M.Rezny、B.J.Shipway、R.Wong 相关软件： Firedrake；冠军；宇宙… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）