举起 42篇文献引用(2013–2023) 软件作者： 布莱恩·哈夫曼（Brian Huffman），Ondřej Kunčar 相关软件： 转让；Isabelle/HOL；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
换乘 42篇文献引用(2013–2023) 软件作者： 布莱恩·哈夫曼（Brian Huffman），Ondřej Kunčar 相关软件： 举起；Isabelle/HOL；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
相位最大值 39篇文献引用(2018–2023) 软件作者： 汤姆·戈尔茨坦（Tom Goldstein）；克里斯托夫·施图德 相关软件： 导缆器流量；相位提升；PhasePack… 主要字段： 统计学（62-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
GESPAR公司 31份文件引用(2014–2022) 软件作者： Yoav Shechtman、Amir Beck、Yonina C.Eldar 相关软件： 相位提升；导缆器流量；备用PR… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
提升选项 18篇文献引用（2001年至2024年） 软件作者： 简·阿尔伯斯迈耶（Jan Albersmeyer）；莫里茨·迪尔 相关软件： ACADO；Ipopt；qpOASES… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
二进制DCT 6篇文献引用(2003–2018) 软件作者： Tran，T.D.公司。 相关软件： SIPI图像数据库；HEVC；JPEG2000格式 主要字段： 积分变换，运算微积分（44-XX）；数值分析（65-XX）；信息与通信理论，电路（94-XX）
投影CAD 8份文件引用(2014–2020) 软件作者： 英格兰，马修；威尔逊，大卫；拉塞尔·布拉德福德（Russell Bradford）；詹姆斯·H·达文波特。 相关软件： 正则链；QEPCAD；MetiTarski… 主要字段： 数理逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
凸_学习 7份文件引用（2019年-2023年） 软件作者： Chambolle，A。；霍勒，M。；T·波克。 相关软件： github；DeepAdverserialRegulaser；NETT… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
圆柱代数分解 7份文件引用(2014–2022) 软件作者： 陈昌波；马克·莫雷诺·马扎 相关软件： 正则链；SMT-LIB；提奥里古鲁… 主要字段： 数理逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
举起 7份文件引用(2018–2023) 软件作者： 李嘉图（Ricardo Fukasawa）；劳伦·波里耶（Laurent Poirier）；阿林森·S·泽维尔。 相关软件： MIPLIB公司；MIPLIB2003；onerow… 主要字段： 运筹学，数学编程（90-XX）
HEPT工具 5份文件引用(2019–2022) 软件作者： 盖茨，S.James jun。；胡、杨瑞；Stiffler，科里 相关软件： 阿丁克拉斯；Mathematica；LieART… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；粒子力学与系统（70-XX）…
图书馆空间SEIR 4份文件引用(2016–2023) 软件作者： G.D.布朗。 相关软件： R；贝叶斯DA；CODA… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
非母语教学 4份文件引用(2008–2017) 软件作者： 玛丽娜·奈特（Marina Knight），马特·奈斯（Matt Nunes） 相关软件： Adlift；R；wmtsa… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
Adlift公司 引用于3份文件(2008–2017) 软件作者： 马特·奈斯（Matt Nunes）；玛丽娜·奈特 相关软件： 非语言文字；R；wmtsa… 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；统计学（62-XX）…
电梯包 引用于3份文件(2006–2022) 软件作者： 加布里埃尔·费尔南德斯；森蒂尔·佩里亚斯瓦米；总裁威姆·斯威尔登斯 相关软件： WABBIT公司；森林爪；墨菲… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；量子理论（81-XX）…
奥诺 引用于3份文件(2018–2022) 软件作者： 李嘉图（Ricardo Fukasawa）；劳伦·波里耶（Laurent Poirier）；阿林森·S·泽维尔。 相关软件： 举起；MIPLIB公司；无限群松弛… 主要字段： 运筹学，数学编程（90-XX）
Stern-Brocot树 引用于3份文件(2016–2017) 软件作者： 彼得·甘米（Peter Gammie）；安德烈亚斯·洛赫比勒 相关软件： 存档正式证据；Isabelle/HOL；HOL… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
AVL公司 2份文件引用(2016–2019) 软件作者： Drela M、Youngren H 相关软件： github；拉克萨；基特西姆… 主要字段： 粒子和系统力学（70-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
Geomsolvex公司 2份文件引用(2015–2018) 软件作者： 格雷戈伊尔·勒塞夫 相关软件： Mathemagix；克罗内克；RAGlib… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
抓斗 1份文件引用(2022) 软件作者： Omid Taheri、Nima Ghorbani、Michael J.Black、Dimitrios Tzionas 相关软件： 布里斯克；效率Det；面2面… 主要字段： 计算机科学（68-XX）
马特康夫 2份文件引用(2020) 软件作者： Siddarta Jairam，大卫·希伯勒 相关软件： R；博士学位；前沿… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MFMC_可计数 2份文件引用(2020–2022) 软件作者： 安德烈亚斯·洛赫比勒 相关软件： 动物园概率系统；举起；存档正式证据… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
墨菲 2份文件引用(2022–2023) 软件作者： 托马斯·吉利斯（Thomas Gillis）；范里斯，维姆·M。 相关软件： MRAG-I2D；WABBIT公司；森林爪… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
OpenAeroStruct（OpenAeroStruct） 1份文件引用(2023) 软件作者： Chauhan，S.S.，Martins，J.R.R.A 相关软件： NLopt；DFVLR-SQP；pyOpt… 主要字段： 运筹学，数学编程（90-XX）
SDS_权限 2份文件引用(2017–2018) 软件作者： 曼纽尔·埃贝尔 相关软件： 数学SAT5；SMT-LIB；伊莎贝尔/HOL 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Wavelets.jl公司 1份文件引用(2022) 软件作者： 古德蒙多·阿达尔斯坦森；等。 相关软件： 朱莉娅；冥王星；WaveLab… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
适用的吊装 1份文件引用(2016) 软件作者： 安德烈亚斯·洛赫比勒；约书亚·施耐德 相关软件： Coq；Isabelle/HOL；密度编译器… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CNLT注册 1份文件引用(2019) 软件作者： 马特·努恩斯（Matt Nunes）、玛丽娜·奈特（Marina Knight）、让·汉密尔顿（Jean Hamilton）、彼得亚·弗莱兹莱维奇（Piotr Fryzlewicz） 相关软件： 提升LRD；其；fArma… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）
第三层 在0个文档中引用 软件作者： 雨果·莱杜克斯、菲利普·比尔杰基、巴拉斯·杜凯、卡维沙·库马尔、拉维·彼得斯、詹蒂恩·斯托特、汤姆·指挥官 相关软件： 开放街道地图；安全FME；ArcGIS… 主要字段： ——
超NeRF 1份文件引用(2022) 软件作者： 科恩洪公园、乌特卡什·辛哈、彼得·海德曼、乔纳森·巴伦、索菲恩·博阿齐兹、丹·B·戈德曼、里卡多·马丁·布鲁亚拉、史蒂文·塞茨 相关软件： 布里斯克；效率Det；面2面… 主要字段： 计算机科学（68-XX）
PyFly公司 1份文件引用（2018年） 软件作者： 加西亚，D。；Ghommem，M。；科利尔，N。；瓦尔加，B.O.N。；卡洛，V.M。 相关软件： F2PY；mpi4py；Python… 主要字段： 流体力学（76-XX）
QBlade（QBlade） 在0个文档中引用 软件作者： Marten，D.、Wendler，J.、Pechlivanoglou，G.、Nayeri，C.N.、Paschereit，C.O 相关软件： SciPy；OpenFAST；JBLADE… 主要字段： ——
史密斯_标准_表格 1份文件引用(2022) 软件作者： 何塞·迪瓦森 相关软件： 伊莎贝尔；Kenzo；传输… 主要字段： 交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
SPASS-AR公司 1份文件引用(2020) 软件作者： 安德烈亚斯·提克；克里斯托夫·韦登巴赫 相关软件： 阿凡达；雅高；iProver… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
龙卷风 1份文件引用(2016) 软件作者： Redhammer咨询有限公司 相关软件： github；FOILGEN公司；JBLADE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）
VLMD（VLMD） 1份文件引用(2016) 软件作者： 卡迈克尔·R 相关软件： github；FOILGEN公司；JBLADE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）