SETHEO公司 118篇文献引用(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
FISHPAK公司 106篇文献引用(1979–2023) 软件作者： Adams，J.、Swarztrauber，P.、Sweet，R 相关软件： IIMPACK；泥袋-2；MUDPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 核叶；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
fpLLL公司 59篇文献引用(2008–2023) 软件作者： Damien Stehle、Xavier Pujol、David Cade 相关软件： BKZ；GitHub；G6K… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
ROS3P公司 49篇文献引用(2001–2023) 软件作者： 朗·J。；J.Verwer。 相关软件： 罗德斯；PETSc；月亮… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
自旋体 45篇文献引用(2005–2023) 软件作者： 安德烈亚斯·克里姆克；芭芭拉·沃尔穆特 相关软件： 稀疏网格插值；IFISS；测试包… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
MESS公司 42篇文献引用(2012–2024) 软件作者： Saak，J.、Mena，H.、Benner，P。 相关软件： Matlab；径向；莫拉布… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
SINDy公司 41篇文献引用(2017–2024) 软件作者： Loiseau，Jean-Christophe；史蒂文·L·布伦顿。 相关软件： 红色试剂盒；耐克5000；VAMP网络… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
拍打 引用于34份文件(2011–2022) 软件作者： 孙军、刘洋、董金松、庞军 相关软件： Uppaal；自旋蛋白；ProB… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
空气 33篇文献引用(2010–2021) 软件作者： C.Anastasiou、A.Lazopoulos 相关软件： 雷杜泽；火灾；LiteRed… 主要字段： 代数几何（14-XX）；代数拓扑（55-XX）；整体分析，流形分析（58-XX）…
生物技术研究所 32篇文献引用(1999–2023) 软件作者： Hoa Sien Cuong；奥利维尔·加斯库埃尔（Olivier Gascuel）；文森特·勒福特 相关软件： PHYLIP；fastDNAml；贝叶斯先生… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
蜘蛛增压 32篇文献引用(2020–2023) 软件作者： Zhe Wang、Kaiyi Ji、Yi Zhou、Yingbin Liang、Vahid Tarokh 相关软件： 传奇；ProxSARAH；亚当… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
LFR工具箱 31份文件引用(2004–2023) 软件作者： 西蒙·赫克（Simon Hecker）；安德拉斯·瓦尔加（Andras Varga）；Jean-François马尼 相关软件： YALMIP；莫塞克；SeDuMi… 主要字段： 动力系统与遍历理论（37-XX）；近似和展开（41-XX）；计算机科学（68-XX）…
SAMURAI公司 31份文件引用（2010年至2022年） 软件作者： Mastrolia，P。；奥索拉，G。；Reiter，T。；F.特拉蒙塔诺。 相关软件： CutTools；黑帽；HELAC-1回路… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；粒子和系统力学（70-XX）…
ProxSARAH公司 30篇文献引用(2020–2024) 软件作者： Pham，Nhan H。；Nguyen，Lam M。；Phan，Dzung T。；Tran-Din，Quoc公司 相关软件： 传奇；SpiderBoost；LIBSVM… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
皮莫尔 26篇文献引用(2015–2023) 软件作者： Rene Milk、Stephan Rave、Felix Schindler 相关软件： 红色试剂盒；DUNE；hapod… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
戈勒姆95 25篇文献引用(2009–2020) 软件作者： T.Binoth，J.-Guillet博士，G.Heinrich，E.Pilon，T.Reiter 相关软件： CutTools；黑帽；武士… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
叶片 21篇文献引用(2007–2023) 软件作者： 弗朗索瓦·布利埃 相关软件： 枫树；雏菊；Epsilon… 主要字段： 场论与多项式（12-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
PMTBR项目 20篇文献引用(2007–2022) 软件作者： 乔尔·菲利普斯（Joel R.Phillips）。；朱振海；米盖尔·西维拉 相关软件： 勒沃纳；红色试剂盒；emgr… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
SE同步 21篇文献引用(2018–2023) 软件作者： David M.Rosen、Luca Carlone、Afonso S.Bandeira、John J.Leonard 相关软件： SDPLR；SDPT3；Manopt… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
VarNet公司 20篇文献引用(2020–2023) 软件作者： – 相关软件： hp-VPINN；DGM；亚当… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可控硅 10篇文献引用(2000–2018) 软件作者： 伊曼·布尔吉巴；贝莱德·莫阿 相关软件： 自旋蛋白；NuSMV；PVS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
电子显微镜 15篇文献引用(2013–2023) 软件作者： 克里斯蒂安·希姆 相关软件： Matlab；pyMOR；hapod… 主要字段： 总体主题；藏品（00-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
FODD-计划 15篇文献引用(2008–2022) 软件作者： Joshi，S。；R.卡顿。 相关软件： FluCaP；图形平面图；高尔夫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
jETI公司 5份文件引用（1997年至2011年） 软件作者： 马尔加里亚，蒂齐亚纳；拉尔夫·纳格尔（Ralf Nagel）；伯恩哈德·斯特芬 相关软件： 班德拉；自旋蛋白；CADP… 主要字段： 计算机科学（68-XX）
SEL/高保真 15篇文献引用(2004–2022) 软件作者： Meier，E.T。；卢金，V.S。；美国Shumlak。 相关软件： PETSc；M3D；M3D-C… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
ADMM_QAP公司 14篇文献引用(2016–2023) 软件作者： 奥利维拉、达尼洛·埃利亚斯；亨利·沃尔科维奇（Henry Wolkowicz）；徐阳阳 相关软件： SDPNAL+；莫塞克；QAPLIB… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；凸和离散几何（52-XX）…
迷你乐高 14篇文献引用(2013–2021) 软件作者： 弗雷德里克森（Frederiksen），托尔·卡斯珀（Tore Kasper）；雅各布森，托马斯·佩尔；尼尔森（Jesper Buus）；诺德霍尔特，彼得·塞巴斯蒂安；克劳迪奥·奥兰迪 相关软件： TinyLEGO；FleXOR；美味… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PABTEC公司 12份文件引用(2011–2023) 软件作者： 塔贾娜·斯泰克尔（Tatjana Stykel）、安德烈亚斯·斯坦布雷彻（Andreas Steinbrecher）、哈蒂姆·阿齐兹·萨利赫（Hatim Aziz Salih） 相关软件： Matlab；罗德斯；Loewner… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；数值分析（65-XX）…
罗斯洛普 13份文件引用(2006–2023) 软件作者： Wehrman，I.、Stump，A.、Westbrook，E.M。 相关软件： mkbTT；AProVE；蒂罗利安… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
SOCP公司 12份文件引用(1998–2019) 软件作者： M.Lobo、L.Vandenberghe、S.Boyd 相关软件： 塞杜米；莫塞克；SDPT3… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
张量工具箱.jl 13份文件引用(2017–2023) 软件作者： 丹尼尔·克雷斯纳（Daniel Kressner）；拉纳佩里沙市 相关软件： 张量工具箱；兰德国家实验室；Chebfun… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）；统计学（62-XX）…
莫拉布 11份文件引用(2018–2023) 软件作者： 彼得·本纳（Peter Benner）、斯特芬·W·R·沃纳（Steffen W.R.Werner） 相关软件： MESS；径向；SOLBT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PyDMD公司 9份文件引用(2016–2023) 软件作者： Demo，北。；Tezzele先生。；罗扎，G。 相关软件： HODMD；蟒蛇；odmd… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；算子理论（47-XX）…
嗯 12份文件引用(2008–2022) 软件作者： Alexander Tchekhovskoy、Jonathan C.McKinney、Ramesh Narayan 相关软件： 冲压；XTROEM-FV；冥王星… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
QDPA公司 10篇文献引用(2008–2023) 软件作者： 乔斯特·罗姆斯（Joost Rommes）；纳尔逊·马丁斯 相关软件： DPA_TDEFL；AAA；JDQZ… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
丽贝卡 8份文件引用（2010年至2022年） 软件作者： 穆罕默德·马赫迪·贾古奥里；Sirjani，Marjan；穆萨维、穆罕默德·雷扎；哈梅斯帕纳，埃桑；阿里·莫瓦加尔 相关软件： Uppaal；甲酚；定时丽贝卡… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CRACKSTAR公司 9份文件引用(1989–2001) 软件作者： H.J.波勒。；T·沃尔夫。 相关软件： SPDE；枫树；马西玛… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
EZyRB公司 8份文件引用(2020–2023) 软件作者： Demo，北。；Tezzele先生。；罗扎，G。 相关软件： OpenFOAM；PyGeM；DEAP… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Geoxp公司 4份文件引用(2013–2021) 软件作者： 伊夫·阿拉贡（Yves Aragon）、蒂鲍特·洛朗（Thibault Laurent）、劳丽安·罗比杜（Lauriane Robidou）、安妮·鲁伊斯·加森（Anne Ruiz-Gazen）、克里斯汀·托马斯·阿格南 相关软件： R；时空；gstat… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
名古屋终止工具 9份文件引用(2014–2022) 软件作者： 山田，A.，Kusakari，K.，Sakabe，T。 相关软件： 蒂罗尔；NaTT；AProVE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
DSCOVR公司 8份文件引用(2019–2023) 软件作者： 肖林；余，Adams Wei；林，启航；陈伟珠 相关软件： HOGWILD公司；传奇；DiSCO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GRK标签 8份文件引用(2009–2024) 软件作者： Olivier Bouissou，马蒂厄·马特尔 相关软件： SCOTS；PESSOA；混合跟踪验证程序… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
莫尔姆斯 7份文件引用(2018–2023) 软件作者： 费尔，约格；Dennis Grunert；菲利普·霍尔兹沃思（Philip Holzwarth）；本杰明·弗里奇；纳丁·沃克；彼得·埃伯哈德 相关软件： MORPACK；sssMOR；莫拉布… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
摩根 7份文件引用(2019–2023) 软件作者： Christian Himpe，萨拉·格兰德尔 相关软件： 数学能量；天然气液化气；MATLAB ODE套件… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
sssMOR公司 8份文件引用(2017–2022) 软件作者： A.Castagnotto、M.Cruz Varona、L.Jeschek、B.Lohmann 相关软件： MESS；Matlab；benchmoded… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
GBLA公司 7份文件引用(2016–2020) 软件作者： Brice Boyer、Christian Eder、Jean-Charles Faugère、Sylvian Lachartre、Fayssal Martani 相关软件： M4RI；FGb；岩浆… 主要字段： 交换代数（13-XX）；数值分析（65-XX）；计算机科学（68-XX）…
meSAT公司 7份文件引用(2014–2023) 软件作者： 米尔科·斯托贾迪诺维奇；菲利普·马里奇 相关软件： 微量锌；糖；Yices… 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
mkbTT公司 7份文件引用(2008–2022) 软件作者： 莎拉·温克勒；佐藤、晴彦；阿尔特米德尔多普；正仁Kurihara 相关软件： 斯洛思罗普；蒂罗尔；KBCV… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
MODIR（修改器） 6篇文献引用（2018年至2021年） 软件作者： 坎帕纳，E.F。；Diez，M。；刘齐，G。；Lucidi，S。；佩莱格里尼，R。；皮卡利，V。；Rinaldi，F。；A.塞拉尼。 相关软件： 国际实验室；MultiGLODS；DFMO… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
增值税 7份文件引用(2012–2019) 软件作者： 安大略省Lengál；Šimáček，Jiří；托马斯·沃伊纳尔 相关软件： MTBDD；MONA；幻灯片… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
算法628 6篇文献引用(1985–2009) 软件作者： 温克勒，F。；Buchberger，B。；Lichtenberger，F。；罗列茨切克，H。 相关软件： SYMMGRP；FGb公司 主要字段： 历史与传记（01-XX）；交换代数（13-XX）；结合环与代数（16-XX）…
BABDCR公司 6篇文献引用(2006–2021) 软件作者： 阿莫迪奥、皮耶路易吉；朱塞佩·罗马纳齐 相关软件： PMIRKDC；CUDA；NewtonLib… 主要字段： 动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
艾朱利安 5份文件引用(2014–2020) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；动画… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
IsaFoR公司 4份文件引用(2011–2016) 软件作者： 亚历山大·克劳斯；斯特纳格尔，克里斯蒂安；雷内·蒂曼；福斯，卡斯滕；于尔根·吉斯尔 相关软件： Isabelle/HOL；CeTA；CoLoR… 主要字段： 计算机科学（68-XX）
液化石油气 6篇文献引用(2008–2021) 软件作者： Daniela M Witten；罗伯特·蒂施莱尼 相关软件： 麦克卢斯特；ElemStatLearn公司；斯巴克尔… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MatMorembs公司 6篇文献引用(2006–2016) 软件作者： 费尔，约格；菲利普·霍尔兹沃思（Philip Holzwarth）；彼得·埃伯哈德（Peter Eberhard）；费舍尔，M。；M·莱纳 相关软件： JDQZ；罗德斯；JDQR… 主要字段： 粒子和系统力学（70-XX）；可变形固体力学（74-XX）；系统论；控制（93-XX）
山核桃 6篇文献引用(1996–2021) 软件作者： 胡萝卜，路易吉；梅勒，弗兰诺；Mango Furnari，马里奥；雷娜塔·纳波利塔诺 相关软件： CANv2；PYR；OpenCAL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
勒梅 3份文件引用(1995–2019) 软件作者： H·特里基。 相关软件： MIMOLA公司；MAHA；PIPS… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
全球化者 5份文件引用（2018年至2021年） 软件作者： 维克托·格格尔（Victor Gergel）；康斯坦丁·巴卡洛夫；亚历山大·西索耶夫 相关软件： 算法829；地方政府官员；PISA… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
GYutsis公司 5份文件引用(2004–2021) 软件作者： Van Dyck，D。；V·法克。 相关软件： RACAH；NJGRAF；新闻稿… 主要字段： 组合数学（05-XX）；特殊功能（33-XX）；计算机科学（68-XX）…
库莫 5份文件引用(1999–2004) 软件作者： 约瑟夫·戈根（Joseph Goguen）、凯·林（Kai Lin）、格里戈·罗苏（Grigore Rosu）、博格丹·瓦林斯基（Bogdan Warinschi） 相关软件： OBJ咖啡馆；团结；OBJ3型 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
建模工具包.jl 3份文件引用(2022–2024) 软件作者： 马英波（Yingbo Ma）、沙什·戈达（Shashi Gowda）、兰詹·阿南塔拉曼（Ranjan Anantharaman）、克里斯·劳夫曼（Chris Laughman）、维拉尔·沙阿（Viral Shah）、克里斯·拉卡库卡斯 相关软件： 微分方程.jl；朱莉娅；KaDE… 主要字段： 结合环与代数（16-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
平均无故障时间 5份文件引用(2012–2019) 软件作者： 安大略省Lengál；Šimáček，Jiří；托马斯·沃伊纳尔 相关软件： 增值税；MONA；幻灯片… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MULTIBAT公司 5份文件引用(2019–2023) 软件作者： Julian Feinauer、Simon Hein、Stephan Rave、Sebastian Schmidt、Daniel Westhoff、Jochen Zausch、Oleg Iliev、Arnulf Latz、Mario Ohlberger、Volker Schmidt 相关软件： 红色试剂盒；宠物；哈波德… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
钠8 5份文件引用(1995–2020) 软件作者： 克拉耶夫斯基，W。；Lepschy，A。；Redivo Zaglia，M。；美国维亚罗。 相关软件： 台阶式；Matlab公司 主要字段： 数值分析（65-XX）；系统论；控制（93-XX）
支持CP 5份文件引用(2018–2022) 软件作者： 埃里克·F·洛克。；Gen李 相关软件： JIVE；多元回归；公共图形… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
战斗 4份文件引用(2009–2011) 软件作者： Mavrotas，G。；Georgopoulou，E。；Mirasgedis，S。；萨拉菲迪斯，Y。；拉拉斯，D。；V.Hontou。；北卡罗来纳州加基斯。 相关软件： GAMS；阿德拉斯；IPSSIS公司 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
连接器 3份文件引用(2020–2022) 软件作者： Whitfield-Gabrieli S，Nieto-Castanon A。 相关软件： BrainNet查看器；大脑连接工具箱；FieldTrip… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；计算机科学（68-XX）…
CoqMTU公司 4份文件引用(2013–2020) 软件作者： 布鲁诺·巴拉斯（Bruno Barras）、珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud）、皮埃尔·伊夫·斯特鲁布（Pierre-Yves Strub）、钱旺（Qian Wang） 相关软件： CoqMT；Coq；阿格达… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CRSX公司 3份文件引用(2009–2011) 软件作者： 罗丝，K.H。；国际商用机器公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
DIMSEM公司 4份文件引用(1996–2016) 软件作者： Robert F.Enenkel、Kenneth R.Jackson 相关软件： XBraid；PyPFASST；GitHub… 主要字段： 历史与传记（01-XX）；常微分方程（34-XX）；数值分析（65-XX）
DRalgo公司 4份文件引用(2022–2023) 软件作者： 安德烈亚斯·埃克斯特德；Philipp Schicho；Tuomas V.I.Tenkanen。 相关软件： 宇宙转换；表格；任何气泡… 主要字段： 特殊功能（33-XX）；代数拓扑（55-XX）；粒子和系统力学（70-XX）…
高效JetMarcher 4份文件引用(2022–2024) 软件作者： 尼古拉斯·帕斯卡尔（Nicholas Paskal）；玛丽亚·卡梅隆 相关软件： libeikonal；亚当；TetGen… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
Koblitz曲线 4份文件引用(2017–2021) 软件作者： 托马斯·奥利维拉；洛佩斯；丹尼尔·塞万提斯·瓦兹奎斯（Daniel Cervantes-Vázquez）；罗德里格斯-亨里克斯，弗朗西斯科 相关软件： 岩浆；qDSA；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
兰多 2份文件引用(2022–2023) 软件作者： 彼得·巴杜（Peter J.Baddoo）。；本杰明·赫尔曼（Benjamin Herrmann）；Beverley J.McKeon。；史蒂文·L·布伦顿。 相关软件： 切布冯；DeepONet公司；Matlab… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-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）
SAMC公司 4份文件引用(2019–2020) 软件作者： Tanakorn Leesatapornwongsa、Mingzhe Hao、Pallavi Joshi、Jeffrey F.Lukman、Haryadi S.Gunawi 相关软件： MODIST；铁人舰队；数据匹配… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SOLBT公司 4份文件引用(2020–2024) 软件作者： 彼得·本纳（Peter Benner）、斯特芬·W·R·沃纳（Steffen W.R.Werner） 相关软件： 莫尔实验室；台阶式；UMFPACK… 主要字段： 特殊功能（33-XX）；系统论；控制（93-XX）
备用RC 4份文件引用(2017–2022) 软件作者： R.Ionutiu、J.Rommes、W.H.A.Schilders 相关软件： Simulink；Matlab；MORPACK… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
BFComp公司 3份文件引用(2015–2019) 软件作者： 阿比谢克·穆尔西；伊斯兰，马里兰州Ariful；斯科特·斯莫尔卡（Scott A.Smolka）。；拉杜·格罗苏 相关软件： dReal；d范围；SReach… 主要字段： 常微分方程（34-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
DPF（DPF） 3份文件引用(2013–2020) 软件作者： Gligoric，米洛斯；鲁帕克·马朱姆达尔 相关软件： MCMAS；DDVerify；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
特征CFA 3份文件引用(2011–2012) 软件作者： 塔伦·帕布；Shreyas Ramalingam；马修，可能；霍尔，玛丽 相关软件： PETSc；CUDA；THORS… 主要字段： 计算机科学（68-XX）
ExBLAS公司 3份文件引用(2020) 软件作者： R.Iakymchuk、S.Collange、D.Defour和S.Graillat 相关软件： LBNL；MPFR；BLAS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
获取LHS 3份文件引用(2019–2023) 软件作者： 梅里姆·布巴鲁；Ourbih-Tari，梅格杜达；阿鲁伊（Abdelouhab Aloui）；阿雷兹基·齐乌伊 相关软件： 获取RDS；Matlab；goRDS公司 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
国际广播公司 3份文件引用(1994–1998) 软件作者： Kontovasilis，Kimon P。；尼古拉斯·米特鲁。 相关软件： – 主要字段： 概率论与随机过程（60-XX）；运筹学、数学规划（90-XX）
ParCrunchFlow公司 3份文件引用(2015–2020) 软件作者： 詹姆斯·贝斯曼。；里德·M·麦克斯韦。；纳瓦雷·西奇勒（Navarre-Sitchler），亚历克西斯·K·。；卡尔·斯蒂费尔。；莫林斯，塞尔吉 相关软件： PHREEQC；水文地球化学；CrunchFlow… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
密封圈ROM空间 3份文件引用（2023年） 软件作者： 伊桑，蛋白石；鲍里斯·克莱默 相关软件： 奥尔巴尼；蟒蛇；科学… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；流体力学（76-XX）…