卢斯特 104篇文献引用(1992–2023) 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 相关软件： 酯类；信号；Simulink… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
正向差异 28篇文献引用(2017–2023) 软件作者： Jarrett Revels、Miles Lubin、Theodore Papamarkou 相关软件： 朱莉娅；GitHub；PyTorch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
MatContM公司 25篇文献引用(2018–2023) 软件作者： 尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；Hil G.E.Meijer。 相关软件： MatcotM；Matlab；MATCONT公司 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；差分和函数方程（39-XX）…
网格地图 12份文件引用(2021–2023) 软件作者： 圣地亚哥·巴迪亚；弗朗西斯科·威尔杜戈 相关软件： 朱莉娅；FEniCS；微分方程.jl… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
扩展ARPACK 在11份文件中引用(2016–2023) 软件作者： 米哈伊尔·博切夫（Mikhail A.Botchev）。 相关软件： Expokit公司；mftoolbox；phipm… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
机架枚举 7份文件引用(2019–2022) 软件作者： 主持人，吉姆；帕特里克·D·沙纳汉。 相关软件： 间隙；本质；小精灵… 主要字段： 结合环与代数（16-XX）；群论与推广（20-XX）；流形和细胞复合体（57-XX）…
MAF公司 4份文件引用(2011–2021) 软件作者： A.威廉姆斯 相关软件： kbmag；岩浆；间隙… 主要字段： 群论与推广（20-XX）；流形和细胞复合体（57-XX）；计算机科学（68-XX）
汉堡2 2份文件引用(2020–2021) 软件作者： A.E.Bondarev、A.V.Bondarenko、V.A.Galaktionov、T.N.Mihailova、I.G.Ryzhova 相关软件： Matlab；FDVMH公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
不完全性定理 2份文件引用(2015–2018) 软件作者： 劳伦斯·保尔森 相关软件： 存档正式证据；Isabelle/HOL；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
菲米卡 2份文件引用（2012年至2016年） 软件作者： Lemaire M、Pendola M 相关软件： LS-DYNA；ParaFEM；PAM-OPT… 主要字段： 统计学（62-XX）；数值分析（65-XX）
前矩阵 2份文件引用(2018–2020) 软件作者： 马塞洛·埃斯库迪罗·埃尔南德斯（Marcelo Escudeiro Hernandes）、奥尔迪西奥·何塞·米兰达（Aldicio JoséMiranda）、吉列尔莫·佩尼阿福特·萨奇斯（Guillermo Peñafort-Sachis） 相关软件： 单一 主要字段： 几个复变量与解析空间（32-XX）；整体分析，歧管分析（58-XX）
向量空间 2份文件引用(2018–2020) 软件作者： 霍尔登·李 相关软件： 贝列坎·扎森豪斯；Isabelle/HOL；Sqrt_Babylonian… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；场论与多项式（12-XX）…
BIGHORN公司 1份文件引用(2019) 软件作者： 爱达荷州国家实验室（INL）：夏一东；大卫·安德斯（David Andrs）；理查德·查尔斯·马蒂诺 相关软件： Refprop；Matlab；SIERRA… 主要字段： 流体力学（76-XX）