数学软件 引用于6560份文件(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枫树 5368份文件引用(1983–2024) 软件作者： 滑铁卢枫树公司。 相关软件： Mathematica；Matlab；岩浆… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
DiffSharp（差异锐化） 216篇文献引用(2016–2024) 软件作者： Baydin，A.G.和Pearlmutter，B.A。 相关软件： 亚当；TensorFlow；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枣灰蝶属 150篇文献引用(1997–2022) 软件作者： Bruno Buchberger、Tudor Jebelean、Temur Kutsia、Wolfgang Windsteiger、奥地利林茨大学RISC研究所Theorema小组 相关软件： Coq；Mathematica；Mizar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；交换代数（13-XX）…
家 122篇文献引用(1991–2024) 软件作者： Gebauer，R。；Kalkbrener，M。；墙壁，B。；F.温克勒。 相关软件： 枫树；Mathematica；岩浆… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；常微分方程（34-XX）…
宝石 107篇文献引用(1990–2024) 软件作者： 亚历克谢·契维亚科夫 相关软件： 枫树；SYMMGRP；裂纹… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；变形固体力学（74-XX）…
GiNaC公司 92份文件引用(2002–2024) 软件作者： 欧洲专利局（EPO）；C.W.Bauer、A.Frink、R.Kreckel 相关软件： 表格；雷杜泽；火灾… 主要字段： 复变量函数（30-XX）；几何（51-XX）；数值分析（65-XX）…
RATH（额定转速） 89份文件引用(2001–2022) 软件作者： Z.Li、Y.Liu 相关软件： 伊斯兰教；ATFM；枫树… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
钠20 79份文件引用(2000–2022) 软件作者： 达里奥·安德里亚·比尼；佛罗伦萨，朱塞佩 相关软件： na10；隔离；特征解… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；实函数（26-XX）；复变量函数（30-XX）…
SYMMGRP公司。马克斯 73篇文献引用(1991–2023) 软件作者： 香槟，B。；赫里曼，W。；温特尼茨，P。 相关软件： SYMMGRP；diffgrob2；谎言… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
PDE专用解决方案 引用于67份文件(2004–2023) 软件作者： 鲍德温，D。；哥克塔什，犹他州。；赫里曼，W。；洪，L。；马丁诺，R.S。；J.C.米勒。 相关软件： ATFM；RATH（额定功率）；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
参考 45篇文献引用(1969–2022) 软件作者： 瓦伦丁·F·土琴 相关软件： 哈斯克尔；COSTA；CiaoPP… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
FORMAC公司 43篇文献引用(1964–1996) 软件作者： Sammet，J.E。；邦德·E·R。 相关软件： 损益表；减少；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
快速的 引用于42份文件(2005–2023) 软件作者： Bardin，S.、Leroux，J.、Finkel，A.、Petrucci，L。 相关软件： TREX公司；睫毛；阿斯匹克… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
OMRS公司 39篇文献引用(1995–2009) 软件作者： 亚历山德罗·阿曼多；Michael Kohlhase；西尔维奥·兰伊斯 相关软件： 分析；定理；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
DDESpecial解决方案 36篇文献引用(2004–2021) 软件作者： 鲍德温，D。；哥克塔什，犹他州。；Hereman，W。 相关软件： 枫树；RATH（额定功率）；雅各比… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；差分和函数方程（39-XX）…
Multilisp公司 31份文件引用(1985–2022) 软件作者： Robert H.jun，Halstead。 相关软件： 甲酚；埃菲尔；莫德… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
阿尔特拉 34份文件引用(1971–2018) 软件作者： W.S.Brown；安德鲁·霍尔 相关软件： 伊斯兰教；减少；gmp… 主要字段： 群论与推广（20-XX）；近似和扩展（41-XX）；数值分析（65-XX）…
分析 33篇文献引用(1993–2022) 软件作者： Bauer，A.、Clarke，E.M.、Zhao 相关软件： 定理；Nuprl；PVS… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；计算机科学（68-XX）…
FracSym公司 33篇文献引用(2014–2023) 软件作者： 杰斐逊，G.F。；J.卡米蒂娜。 相关软件： 德索尔VII；ASP；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
LIEPDE公司 32篇文献引用(1993–2019) 软件作者： 托马斯·沃尔夫 相关软件： 裂纹；ApplySym；SYMMGRP… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
奥德赛 32篇文献引用(1996–2016) 软件作者： 罗斯坦，N.，达尔马斯，S.，加利戈，A 相关软件： ADIFR；TAMC；青少年C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
符号C++ 31份文件引用(1998–2018) 软件作者： Shi，Tan Kiat；Steeb，Willi-Hans；哈迪，尤里克 相关软件： 马克西玛；枫树；数学… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
凸面.jl 27篇文献引用(2015–2023) 软件作者： Karanveer Mohan、Madeline Udell、David Zeng、Jenny Hong 相关软件： CVX；CVXPY；朱莉娅… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
PDE安保操作员 29篇文献引用(2005–2021) 软件作者： 鲍德温，D。；赫里曼，W。；塞耶斯，J。 相关软件： 疼痛水平测试；枫树；PDS特殊解决方案… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
MA48型 26篇文献引用(1995–2022) 软件作者： 达夫，I.S。；J.K.里德。 相关软件： HSL；稀疏矩阵；BLAS… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；流体力学（76-XX）…
玫瑰色 27篇文献引用(2010–2022) 软件作者： 利贝蒂（Leo Liberti）；索尼娅·卡菲里；Savourey，大卫 相关软件： AMPL；CPLEX；FEASPUMP… 主要字段： 交换代数（13-XX）；近似和扩展（41-XX）；统计学（62-XX）…
手指 26篇文献引用(1986–2021) 软件作者： Wang，Paul S。 相关软件： Mathematica；减少；马西玛… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SYNAPS公司 24篇文献引用(2002–2009) 软件作者： B.Mourrain、J.P.Pavone、Trebuchet博士、E.Tsigaridas 相关软件： 隔离；na10；单数… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
冷凝器 22篇文献引用(1997–2023) 软件作者： Ü公司。哥克塔斯；W.赫里曼 相关软件： Mathematica；不变量对称性；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
圣杯 引用于20份文件(1994–2021) 软件作者： 达雷尔·雷蒙德；伍德，德里克 相关软件： 自动化；AMoRE；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
纽尤尔 22篇文献引用(1992–2017) 软件作者： 马库斯·伯克哈特；安德烈亚斯·汉斯洛夫斯基（Andreas Hanselowski）；埃伯哈德 相关软件： Matlab；SIMPACK；Simulink… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
数学张量 21篇文献引用(1997–2021) 软件作者： 史蒂文·克里斯滕森（Steven M.Christensen）。 相关软件： ATENSOR公司；Mathematica；卡达布拉… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
福克斯 引用于20份文件(1998–2023) 软件作者： 迪亚斯，安吉尔；埃里希·卡尔托芬 相关软件： 枫树；SACLIB；FireFly… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和展开（41-XX）…
WKP测试 引用于20份文件(2004–2023) 软件作者： G.-Q.Xu，Z.-B.Li。 相关软件： 枫树；PDEP测试；RATH… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
NCSO大便 19份文件引用(2010–2022) 软件作者： 克里斯蒂扬·卡福塔；克莱普，伊戈尔；波夫赫，詹内斯；萨宾·伯格多夫。 相关软件： Matlab；NCAlgebra；SeDuMi… 主要字段： 一般代数系统（08-XX）；交换代数（13-XX）；代数几何（14-XX）…
EAT（吃） 18篇文献引用(2001–2023) 软件作者： 弗朗西斯·谢尔盖；朱利奥·鲁比奥 相关软件： Kenzo；ACL2；Coq… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；代数拓扑（55-XX）…
CLICAL公司 17篇文献引用(1992–2017) 软件作者： Lounesto，P.、Mikkola，R.、Vierros，V.、。 相关软件： 克利福德；枫树；比格布拉… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
身份查找器 16篇文献引用(2015–2023) 软件作者： Kanade、Shashank；马修·罗素。 相关软件： q系列；RR工具；枫树… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；数论（11-XX）…
JAS公司 15篇文献引用(2008–2023) 软件作者： 海因茨·克雷德尔 相关软件： 单一；AXIOM；复数… 主要字段： 数论（11-XX）；交换代数（13-XX）；结合环和代数（16-XX）…
极为复杂的 16篇文献引用(2005–2023) 软件作者： 我·贝尔梅乔，我·加西亚·马尔科 相关软件： 单一；cimonom；数字gps… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
科西马 16篇文献引用(2015–2022) 软件作者： 塞布蒂·穆埃利；安托万·吉拉德；格雷戈·戈斯勒 相关软件： SCOTS；佩索阿；TuLiP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
SCSCP公司 13份文件引用(2008–2017) 软件作者： S.Freundt、P.Horn、A.Konovalov、S.Linton、D.Roozemond 相关软件： 间隙；SageMath；枫树… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
ASP公司 13份文件引用(2013–2021) 软件作者： 杰斐逊，G.F。；J.卡米蒂娜。 相关软件： 德索尔VII；枫树；FracSym… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；整体分析，流形分析（58-XX）…
疼痛程度测试 13份文件引用(2005–2022) 软件作者： 鲍德温，D。；赫里曼，W。；J.塞耶斯。 相关软件： PDE安保运营商；WKP测试；数学… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
铆钉 11份文件引用(2020–2024) 软件作者： 迈克尔·莱斯尼克、马修·赖特 相关软件： 撕裂；github；辛巴… 主要字段： 交换代数（13-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
GAVS公司 在10份文件中引用(2005–2022) 软件作者： 郑志宏；巴克尔（Christian Buckl）；Michael Luttenberger；阿洛伊斯·诺尔 相关软件： 主旨；PRISM-名称；棱镜… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
马洪群岛统计 12份文件引用(2011–2020) 软件作者： 坎菲尔德，E.罗德尼；斯万特·简森；多伦·泽尔伯格 相关软件： 查找统计信息；SageMath；F12345… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
ODE工具 12份文件引用(1997–2021) 软件作者： Cheb-Terrab，E.S。；杜阿尔特，L.G.S。；达莫塔，L.A.C.P。 相关软件： 枫树；PDE工具；交易.ii… 主要字段： 场论与多项式（12-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
合理化根 11份文件引用(2020–2023) 软件作者： 马可·贝西尔（Marco Besier）、帕斯卡尔·瓦塞尔（Pascal Wasser）、斯特凡·温泽尔（Stefan Weinzierl） 相关软件： 火灾；雷杜泽；ε… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
纯度过滤 11份文件引用(1997–2022) 软件作者： 阿尔班Quadrat 相关软件： 矿石模块；霍马尔格；单数… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；几个复变量和分析空间（32-XX）…
RealCertify公司 在10份文件中引用（2018年-2023年） 软件作者： Victor Magron，Mohab Safey El Din 相关软件： TSSOS；塞杜米；Mosek… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
基础知识 8份文件引用(2010–2022) 软件作者： 雷吉斯·布朗；托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： AProVE；速度；TiML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
格罗布科夫.lib 在10份文件中引用(2011–2020) 软件作者： 安东尼奥·蒙特斯（Antonio Montes）、汉斯·斯科尼曼（Hans Schoenemann） 相关软件： 单一；GeoGebra；PLA-PFGLM.mpl… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；代数几何（14-XX）…
数学方案 9份文件引用(2011–2021) 软件作者： 雅克·卡雷特；Farmer，William M。；罗素·奥康纳 相关软件： Coq；阿格达；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
悉尼 在10份文件中引用(1996–2022) 软件作者： 沃罗布埃夫，E.M。 相关软件： diffgrob2；SYMMGRP；数学… 主要字段： 总体主题；藏品（00-XX）；拓扑群，李群（22-XX）；偏微分方程（35-XX）…
保守法MD 9份文件引用（2011年-2023年） 软件作者： L.D.普尔；W.赫里曼 相关软件： PDE安保运营商；疼痛水平测试；数学… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
msolve公司 6篇文献引用(2022–2024) 软件作者： Jérémy Berthomieu、Christian Eder、Mohab Safey El-Din 相关软件： 单一；岩浆；奥斯卡… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）…
q函数 8份文件引用(2020–2023) 软件作者： Jakob Ablinger、Ali K.Uncu 相关软件： qMultiSum；qGeneratingFunctions；速率… 主要字段： 组合数学（05-XX）；数论（11-XX）；非结合环与代数（17-XX）…
赶快走开 9份文件引用（2006年至2019年） 软件作者： Borwein，J.M.，Hamilton，C.H。 相关软件： 芬切尔；na13；na24… 主要字段： 实函数（26-XX）；算子理论（47-XX）；数值分析（65-XX）…
CAMAC公司 8份文件引用(1978–2022) 软件作者： 杰弗里·莱昂（Jeffrey S.Leon），维拉·普莱斯（Vera Pless） 相关软件： 减少；伊斯兰教；ALTRAN… 主要字段： 总体主题；藏品（00-XX）；场论与多项式（12-XX）；群论与推广（20-XX）…
ELIAS公司 8份文件引用(1996–2010) 软件作者： 科恩，A.M。；德格拉夫，W.A。 相关软件： 间隙；LiE；岩浆… 主要字段： 结合环与代数（16-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
芬切尔 8份文件引用（2006年至2019年） 软件作者： Bauschke，Heinz H。；诉马丁·莫伦柴尔德 相关软件： 赶快走开；na13；na24… 主要字段： 实函数（26-XX）；算子理论（47-XX）；数值分析（65-XX）…
奥尔加.lib 7份文件引用(2017–2023) 软件作者： 约翰·霍夫曼，维克托·列万多夫斯基 相关软件： 单一；复数；JAS… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；偏微分方程（35-XX）…
RBDL公司 7份文件引用(2019–2023) 软件作者： M.L.费利斯 相关软件： github；卡萨迪；木偶… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
机器人 7份文件引用(1993–2020) 软件作者： N.Docquier、A.Poncelet、P.Fisette 相关软件： EasyDyn；Chrono；帕西莫多… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；粒子和系统力学（70-XX）…
蜗牛 7份文件引用(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿里加托.jl 7份文件引用（2018年-2023年） 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；马克西米利安·亚罗斯切克；劳拉·科瓦奇 相关软件： 鳄鱼；SymPy；z3… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；计算机科学（68-XX）
ARGES公司 5份文件引用(2021–2023) 软件作者： 丹尼尔·利蒂姆（Daniel F.Litim）、汤姆·斯特特纳（Tom Steudtner） 相关软件： 莎拉；峰值电阻@TE;RGBeta… 主要字段： 特殊功能（33-XX）；代数拓扑（55-XX）；计算机科学（68-XX）…
CONSLAW公司 7份文件引用(2004–2016) 软件作者： 姚若霞；李志斌 相关软件： 枫树；冷凝水；GeM… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
fKenzo公司 7份文件引用(2011–2018) 软件作者： 赫拉斯，J。；帕斯卡尔，V。；卢比奥，J。；谢尔盖拉特，F。 相关软件： Kenzo；HAP；间隙… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
HBF转换器2 7份文件引用(2009–2018) 软件作者： 杨旭东；阮杭瑜 相关软件： 枫树；双线性化；希罗塔。最大值… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
HEPMath公司 5份文件引用(2017–2021) 软件作者： 马丁·威布什 相关软件： FeynCalc；Mathematica；形式… 主要字段： 复变量函数（30-XX）；代数拓扑（55-XX）；统计学（62-XX）…
雅各比 7份文件引用(2009–2015) 软件作者： Yong、Xuelin；曾欣；张志勇；陈玉福 相关软件： DDE特殊解决方案；枫树；PDS特殊解决方案… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
兰姆达 7份文件引用（2011年-2023年） 软件作者： 乔尔·埃克斯特兰德 相关软件： Mathematica；DLMF；MasterPVAmulti… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；计算机科学（68-XX）…
NeurASP公司 7份文件引用(2020–2023) 软件作者： 准扬；Adam Ishay；李俊英 相关软件： DeepProbLog；CLEVR数据集；CLEVR… 主要字段： 计算机科学（68-XX）
p面 7份文件引用(2019–2022) 软件作者： 哈立德，马哈茂德；马吉德·扎马尼 相关软件： SCOTS；ROCS；CoSyma… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
圣乔治 7份文件引用（2018年-2023年） 软件作者： 贾诺什·维达利 相关软件： SageMath；Mathematica；GLPK… 主要字段： 组合数学（05-XX）；数论（11-XX）；结合环和代数（16-XX）…
苏西数学 7份文件引用(2006–2023) 软件作者： A.F.法拉利。 相关软件： FeynArts；FormCalc；FeynCalc… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
X速度 6篇文献引用(2017–2022) 软件作者： Rayarshi Ray；阿米特·古龙 相关软件： SpaceEx；JuliaReach；流量*… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
ADMP公司 6篇文献引用(2013–2019) 软件作者： 林，叶芝；刘银平；李志斌 相关软件： 枫树；ADMP；DFOC… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
CLUE公司 5份文件引用(2021–2024) 软件作者： Alexey Ovchinnikov、Isabel Cristina Pérez Verona、Gleb Pogudin、Mirco Tribastone 相关软件： 侵蚀；尼莫；微分方程.jl… 主要字段： 结合环与代数（16-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
EDS公司 6篇文献引用(1997–2010) 软件作者： D.哈特利 相关软件： 减少；MuPAD；单数… 主要字段： 交换代数（13-XX）；偏微分方程（35-XX）；整体分析，流形分析（58-XX）…
GLie公司 6篇文献引用(1992–2006) 软件作者： M.A.Ayari和V.Hussin 相关软件： SYMMGRP公司。最大值；枫树 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
虹膜 5份文件引用(2004–2021) 软件作者： G.Elber，以色列海法Technion计算机科学系 相关软件： VTK；犰狳；CMake… 主要字段： 偏微分方程（35-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
林MapTS 6篇文献引用(2016–2022) 软件作者： 阿尔维斯，P.R.L。；杜阿尔特，L.G.S。；达莫塔，L.A.C.P。 相关软件： 时间；枫树；TISEAN… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
钠25 6篇文献引用(2006–2018) 软件作者： 达里奥·比尼（Dario A.Bini）。；安娜·马可 相关软件： mctoolbox；rootsb；MultRoot… 主要字段： 交换代数（13-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
QCD-PEGASUS公司 5份文件引用(2010–2018) 软件作者： A.沃格特 相关软件： 霍普特；QCDNUM16；APFEL… 主要字段： 积分变换，运算微积分（44-XX）；量子理论（81-XX）
SENAC公司 6篇文献引用(1991–2008) 软件作者： Kevin A.Broughan。 相关软件： Uppaal；克罗诺斯；马西玛… 主要字段： 特殊功能（33-XX）；近似和扩展（41-XX）；数值分析（65-XX）…
SInt公司 6篇文献引用(2013–2021) 软件作者： 安娜·康西奥。；维克托·G·克拉夫琴科。；何塞·佩雷拉。 相关软件： Mathematica；A规格成对标尺；A规格配对矩阵… 主要字段： 复变量函数（30-XX）；近似和扩展（41-XX）；积分方程（45-XX）…
超级加州 3份文件引用(1991–1998) 软件作者： W.M.塞勒 相关软件： Mathematica；小茴香；减少… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
双线性化 5份文件引用(2006–2017) 软件作者： 周振江；傅景智；李志斌 相关软件： 枫树；希罗塔。最大值；HBFTrans2… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
BranchCuts（分支切割） 5份文件引用(2013–2019) 软件作者： 英格兰，马修；拉塞尔·布拉德福德（Russell Bradford）；James H.Davenport。；大卫·威尔逊 相关软件： 枫树；梅蒂塔斯基；QEPCAD… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）