麦考利2 2263份文件引用(1988–2024) 软件作者： 丹尼尔·格雷森。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
国际实验室 508份文件引用(1999–2024) 软件作者： 齐格弗里德·M·臀部。 相关软件： Matlab；mctoolbox；C-XSC 2.0… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
MersenneTwister公司 351篇文献引用（1998年-2023年） 软件作者： 松本诚；西村、高治 相关软件： 测试U01；R；死亡… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
NTL公司 242份文件中引用（1998年-2023年） 软件作者： 维克托·舒普 相关软件： gmp；岩浆；NTRU… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
隔离 237篇文献引用(1999–2024) 软件作者： Fabrice的Rouillier；保罗·齐默尔曼 相关软件： 克罗内克；FGb；枫树… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
系统标识工具箱 189份文件引用(1990–2023) 软件作者： Thomas B Schön；艾德里安·威尔斯（Adrian Wills）；Brett Ninness；伦纳特·荣格 相关软件： Matlab；船长；Wiener-Hammerstein基准… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
机锋网 137篇文献引用(2006–2024) 软件作者： 安德斯·内德加德·詹森 相关软件： 单一；麦考利2号；聚乙烯… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
主页 123篇文献引用(1987–2023) 软件作者： Layne T.Watson。；斯蒂芬·比卢普斯（Stephen C.Billups）。；亚历山大·摩根。 相关软件： PITCON；HOMPACK90；minpack… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
钠20 79份文件引用(2000–2022) 软件作者： 达里奥·安德里亚·比尼；朱塞佩，佛罗伦萨 相关软件： na10；隔离；特征解… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；实函数（26-XX）；复变量函数（30-XX）…
alpha认证 68篇文献引用(2011–2024) 软件作者： 乔纳森·霍恩斯坦（Jonathan D.Hauenstein）；弗兰克·索蒂尔 相关软件： 贝尔蒂尼；麦考利2号；PHC包… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
PDS特殊解决方案 67篇文献引用（2004年-2023年） 软件作者： 鲍德温，D。；哥克塔什，犹他州。；Hereman，W。；洪，L。；马蒂诺，R.S。；J.C.米勒。 相关软件： ATFM；RATH（额定功率）；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
乌兹拉布 59篇文献引用(2016–2024) 软件作者： Lataniotis C、Marelli S、Sudret B 相关软件： AK-MCS；蟒蛇；达科塔… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
差速器2 56篇文献引用(1994–2023) 软件作者： 曼斯菲尔德，E.L。 相关软件： SYMMGRP；SYMMGRP公司。最大值；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
钠1 56篇文献引用(1991–2023) 软件作者： Brezinski，C。；Redivo Zaglia，M。；H·萨多克。 相关软件： CGS；na5；BiCGstab… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）…
主页90 47篇文献引用（1997年至2022年） 软件作者： Layne T.Watson。；玛丽亚，索松基娜；罗伯特·梅尔维尔（Robert C.Melville）。；Alexnder P.摩根。；霍默·沃克。 相关软件： 主页；PHCpack；POLSYS_PLP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
MPFI公司 47篇文献引用(1979–2023) 软件作者： Nathalie Revol；法布里斯·鲁利耶 相关软件： MPFR；C-XSC 2.0；隔离… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
语言 引用于41份文件(2000–2023) 软件作者： 卡隆，帕斯卡 相关软件： 测试；AG公司；古伊塔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
生命周期管理 30篇文献引用(2009–2022) 软件作者： 武木友野、浅井达也、内田裕三、有村弘子 相关软件： UCI-ml；gSpan；C4.5… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；统计学（62-XX）…
速度 36篇文献引用(2009–2024) 软件作者： Mazzieri，I。；斯图帕齐尼，M。；吉多蒂，R。；斯梅尔齐尼，C。 相关软件： COSTA；防抱死制动系统；成本表… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
多项式工具箱 35篇文献引用(2001–2023) 软件作者： 数学作业 相关软件： PENBMI；Matlab；SeDuMi… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
R-最大 35篇文献引用(2002–2021) 软件作者： 罗恩·布拉夫曼（Ronen I.Brafman）。；莫舍·坦尼霍尔茨 相关软件： 棒极了；AlexNet；ImageNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
垫片 30篇文献引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
PDE安保操作员 29篇文献引用(2005–2021) 软件作者： 鲍德温，D。；Hereman，W。；J.塞耶斯。 相关软件： 疼痛水平测试；枫树；PDE专用解决方案… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
特征解 26篇文献引用(2002–2024) 软件作者： 《财富》，史蒂文 相关软件： na20；na10；mctoolbox… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；复变量函数（30-XX）…
ProbView（探测视图） 在11份文件中引用(2005–2018) 软件作者： Lakshmanan，V.S.、Leone，N.、Ross，R.和Subrahmanian，V.S。 相关软件： 三重奏；ProTDB；MYSTIQ… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
帕多瓦2D 20篇文献引用(2006–2022) 软件作者： 马可·卡利亚里；德马奇，斯特凡诺；阿尔维斯·索玛里瓦；马可·维亚内洛 相关软件： Padua2DM；Matlab；Chebfun… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）；欧氏空间的调和分析（42-XX）…
福克斯 20篇文献引用（1998年-2023年） 软件作者： 迪亚斯，安吉尔；埃里克·卡尔托芬 相关软件： 枫树；SACLIB；FireFly… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和展开（41-XX）…
ASTRO-DF公司 引用于19份文件(2018–2023) 软件作者： Sara Shashaani；Fatemeh S.哈希米。；帕苏帕蒂，拉格 相关软件： UOBYQA；R样条；野马… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
混沌间谍 17篇文献引用(2017–2023) 软件作者： Feinberg，J.、Langtangen，H.P。 相关软件： FEniCS；UQLab；道芬… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
测试 引用于19份文件(2003–2020) 软件作者： A.N.特拉特曼。 相关软件： 语言；COMPAS；Yices… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）…
ApaTools软件 16篇文献引用(2008–2020) 软件作者： 曾忠刚 相关软件： MultRoot；PHCpack；贝尔蒂尼… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
CPOLY公司 17篇文献引用(1978–2023) 软件作者： 詹金斯硕士；J.F.特劳布 相关软件： copula；ks；连接词… 主要字段： 复变量函数（30-XX）；统计学（62-XX）；数值分析（65-XX）…
Sheppack公司 16篇文献引用(2010–2021) 软件作者： 威廉·萨克（William I.Thacker）；张静伟；莱恩·T·沃森；杰弗里·伯奇（Jeffrey B.Birch）；曼朱拉·艾耶；迈克尔·W·贝里 相关软件： Matlab；算法792；QSHEP3D… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
modpn（修改） 14篇文献引用(2009–2022) 软件作者： 李欣；莫雷诺·马扎（Marc Moreno Maza）；拉希德（Raqeeb Rasheed）；埃里克·斯科特 相关软件： 岩浆；枫树；隔离… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
数字Gfun 14篇文献引用(2010–2024) 软件作者： 马克·梅扎罗巴 相关软件： 枫树；SageMath；gfun… 主要字段： 代数几何（14-XX）；特殊功能（33-XX）；常微分方程（34-XX）…
投影Noether 15篇文献引用(2000–2019) 软件作者： 马克·朱斯蒂（Marc Giusti）；哈格尔，克莱门斯；勒塞夫（Lecerf）、格雷戈里（Grégoire）；乔·马尔坎德；布鲁诺·萨维 相关软件： 克罗内克；单一；FGb… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
算法999 14篇文献引用(2019–2023) 软件作者： 亨德里克·斯佩利尔斯 相关软件： mctoolbox；lp_solve；ISOGAT… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；近似和展开（41-XX）…
COPRIN公司 14篇文献引用(2003–2016) 软件作者： COPRIN项目 相关软件： 椰子；MersenneTwister公司；IbexOpt… 主要字段： 差分方程和函数方程（39-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MPSolve解决方案 14篇文献引用(2003–2018) 软件作者： 比萨大学 相关软件： na20；特征解；C-XSC 2.0… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BGG公司 13份文件引用(2002–2022) 软件作者： Hirotachi Abo；Wolfram Decker；戴维·艾森巴德（David Eisenbud）；弗兰克·施雷耶（Frank Schreyer）；格雷戈里·史密斯（Gregory G.Smith）；迈克·斯蒂尔曼 相关软件： 麦考利2号；岩浆；奇异… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
BPOLY公司 13份文件引用(2001–2019) 软件作者： 蔡一峰；Rida T.Farouoki。 相关软件： MultRoot；Matlab；GLEW… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
EVSL公司 12份文件引用(2019–2022) 软件作者： R.Li、Y.Xi、L.Erlandson、Y.Saad 相关软件： ARPACK；稀疏矩阵；拉帕克… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；流体力学（76-XX）…
GALATICS公司 13份文件引用(2020–2024) 软件作者： G.Barthe、S.Belaïd、T.Espitau、P.A.Fouque、M.Rossi、M.Tibouchi 相关软件： BLISS；事实真相；齐古拉… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
Oink公司 13份文件引用(2018–2022) 软件作者： T·迪克。 相关软件： PGSolver；条纹；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
疼痛水平测试 13份文件引用(2005–2022) 软件作者： 鲍德温，D。；Hereman，W。；J.塞耶斯。 相关软件： PDER执行操作员；WKPtest公司；数学… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
短吻鳄 12份文件引用(2008–2023) 软件作者： 劳拉·科瓦奇 相关软件： Mathematica；fastZeil；Aligator.jl… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
贝尔蒂尼.m2 10篇文献引用(2016–2023) 软件作者： 何塞·罗德里格斯（Jose I.Rodriguez）；D.贝茨；E.总量；A.莱金 相关软件： 麦考利2号；贝尔蒂尼；PHC包… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
SqFreeEVAL公司 在11份文件中引用(2012–2023) 软件作者： 伯尔，迈克尔·A。；费利克斯·克拉默 相关软件： 隔离；na20；ANewDsc… 主要字段： 代数几何（14-XX）；实函数（26-XX）；复变量函数（30-XX）…
集群ES 在11份文件中引用(2015–2023) 软件作者： 阿马蒂亚·班纳吉。；莱恩·埃利奥特（Ryan S.Elliott）。；理查德·詹姆斯。 相关软件： CheFSI公司；ABINIT公司；量子浓缩咖啡… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
微分代数 在11份文件中引用(2010–2021) 软件作者： 弗朗索瓦·布利埃；弗朗索瓦·莱梅尔 相关软件： 枫树；DIFFALG公司；差异托马斯… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；偏微分方程（35-XX）…
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
兰道.jl 在11份文件中引用(2022–2023) 软件作者： 塞巴斯蒂安·米泽拉；西蒙·特伦 相关软件： PolyLogTools；天秤座；加拿大… 主要字段： 特殊功能（33-XX）；量子理论（81-XX）
RealCertify公司 10篇文献引用(2018–2023) 软件作者： Victor Magron，Mohab Safey El Din 相关软件： TSSOS；塞杜米；Mosek… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
亚当 10篇文献引用(2011–2023) 软件作者： Hinkelmann F、Brandon M、Guang B、McNeill R、Blekherman G、Veliz Cuba A、Laubenbacher R 相关软件： 麦考利2号；金西姆；BoolNet… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）…
AlgoPy公司 9份文件引用(2015–2021) 软件作者： 塞巴斯蒂安·沃尔特（Sebastian F.Walter）、卢兹·莱曼（Lutz Lehmann） 相关软件： 蟒蛇；ADOL-C；pyadoc… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
弦 10篇文献引用(2016–2023) 软件作者： 迪亚戈·西富恩特斯；巴勃罗·帕里洛。 相关软件： 单一；艾司隆；正则链… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
如 10篇文献引用(2013–2020) 软件作者： 阿布拉莫夫公司。；Khmelnov，D.E。 相关软件： 枫树；比率差异 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；差分和函数方程（39-XX）…
ExaGeoStat公司 8份文件引用(2018–2023) 软件作者： 阿卜杜拉，S。；Ltaief，H。；孙，Y。；Genton，M.G。；凯斯，D.E。 相关软件： R；FRK公司；ExaGeoStatR… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
四点二 8份文件引用(2013–2020) 软件作者： 克里斯托弗·希拉尔。；亚伯拉罕·马丁·德尔·坎波 相关软件： symmChainGens；麦考利2号；4ti2… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
格罗布科夫.lib 10篇文献引用(2011–2020) 软件作者： 安东尼奥·蒙特斯（Antonio Montes）、汉斯·斯科尼曼（Hans Schoenemann） 相关软件： 单一；GeoGebra；PLA-PFGLM.mpl… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；代数几何（14-XX）…
奥科蒂洛 10篇文献引用(2000–2016) 软件作者： Goldman，Deborah；Istrail，Sorin；朱塞佩·兰西亚；安东尼奥·皮科波尼；布莱恩·瓦伦茨 相关软件： – 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PGeomlib公司 10篇文献引用(2012–2023) 软件作者： 布鲁诺，公元。；巴特金，A.B。 相关软件： 设计；SymPy；枫树… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
费米-狄拉克统计 8份文件引用(1998–2020) 软件作者： 艾伦·J·麦克劳德。 相关软件： 算法745；DLMF；数学… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
甘尼思 9份文件引用（1990年至1997年） 软件作者： Chanderjit Bajaj；安德鲁·罗亚帕 相关软件： 家；EISPACK；拉帕克… 主要字段： 代数几何（14-XX）；实函数（26-XX）；近似和展开（41-XX）…
Ginv公司 9份文件引用（2006年-2023年） 软件作者： 于布林科夫。答：。；副总裁Gerdt。 相关软件： 珍妮特；枫树；代数托马斯… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；偏微分方程（35-XX）…
msolve公司 6篇文献引用(2022–2024) 软件作者： Jérémy Berthomieu、Christian Eder、Mohab Safey El-Din 相关软件： 单一；岩浆；奥斯卡… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）…
PieriMaps公司 9份文件引用(2009–2018) 软件作者： 史蒂文·萨姆。 相关软件： 麦考利2号；舒尔林斯；四点二… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
基本原理第一集成 9份文件引用(2015–2022) 软件作者： Alin Bostan；奇泽·纪尧姆（Chèze，Guillaume）；托马斯·克鲁索（Thomas Cluzeau）；雅克·亚瑟·韦尔 相关软件： 解算器；枫树；PSsolver… 主要字段： 几个复变量和分析空间（32-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
草莓地 5份文件引用(2019–2023) 软件作者： 内森·基洛兰（Nathan Killoran）、乔什·伊扎克（Josh Izaac）、尼科拉·奎萨达（Nicolás Quesada 相关软件： 项目Q；qHiPSTER；OpenFermion… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；量子理论（81-XX）…
信标 8份文件引用(2016–2022) 软件作者： Arif，M.Fareed；卡洛斯·门西娅（Carlos Mencía）；伊格纳季耶夫，阿列克谢；诺伯特·曼恩；拉斐尔·佩尼亚洛萨；若昂·西尔瓦侯爵 相关软件： HgMUS；麋鹿；EL2MCS… 主要字段： 计算机科学（68-XX）
差异消除 8份文件引用(2019–2022) 软件作者： 阿列克谢·奥夫钦尼科夫（Alexey Ovchinnikov）；波古丁（Pogudin），格莱布（Gleb）；Vo、Thieu N。 相关软件： 西安；正则链；克罗内克… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
muq（多功能） 7份文件引用(2016–2024) 软件作者： M.Parno、A.Davis、P.Conrad 相关软件： UQLab；奎索；达科塔… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
SeLoger公司 7份文件引用(2015–2018) 软件作者： Haase，C。；Ishtiaq，S。；Ouaknine，J。；M.J.帕金森。 相关软件： 幻灯片；推断；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
倾斜 8份文件引用(1999–2015) 软件作者： 费雷雷斯·G，比安尼克·J·M。 相关软件： Mu分析与合成工具箱；LMI工具箱；LFR-toolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；差分方程和函数方程（39-XX）；系统论；控制（93-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份文件引用(2012–2023) 软件作者： 沃尔特·高茨基 相关软件： 数字；OPQ；Matlab… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
MIXMAX公司 7份文件引用(2015–2022) 软件作者： 康斯坦丁·G·萨维迪。 相关软件： 测试U01；MRG32k3a；MersenneTwister… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；几何（51-XX）…
精确度 7份文件引用(2001–2009) 软件作者： S.Krishnan、M.Foskey、T.Culver、J.Keyser、D.Manocha 相关软件： MAPC；利迪亚；mctoolbox… 主要字段： 交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
RIATA-HGT公司 7份文件引用(2005–2021) 软件作者： 卢艾州纳赫勒；德里克·鲁思；王丽珊 相关软件： PhyloNet；PAUP*；T-REX… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
HapCUT公司 6篇文献引用（2012年至2016年） 软件作者： Vineet Bafna的Vikas Bansal 相关软件： ReFHap；SpeedHap；埃克拉特… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LIPSAT公司 6篇文献引用（2018年至2021年） 软件作者： 马塞洛·芬格；桑德罗·普雷托 相关软件： MiniSat；玲玲；Yices… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；测量和集成（28-XX）…
Noetherian运算符 5份文件引用(2022–2023) 软件作者： Justin Chen、Yairon Cid-Ruiz、Marc Härkönen、Robert Krone、Anton Leykin 相关软件： 麦考利2号；带微分算子的原语分解；贝尔蒂尼… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；特殊功能（33-XX）…
矿石工具 5份文件引用(2005–2020) 软件作者： Abramov，S.A.，Le，H.Q.，Li，Z 相关软件： 全息函数；olga.lib；复数… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Phcmaple公司 6篇文献引用(2005–2016) 软件作者： A.莱金；J.Verschelde先生 相关软件： PHCpack；正则链；数学… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；数值分析（65-XX）…
现场 4份文件引用(2019–2021) 软件作者： 亚历山大·梅格列茨基 相关软件： 塞杜米；GloptiPoly；无斑点… 主要字段： 场论与多项式（12-XX）；代数几何（14-XX）；数值分析（65-XX）…
CREP公司 5份文件引用(1998–2003) 软件作者： P.Dräxler，R.Nörenberg 相关软件： – 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
快速修改标准 5份文件引用(2000–2011) 软件作者： D.K.Boku；W.Decker；C.菲克 相关软件： FOXBOX；达格伍德；modstd.lib… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和展开（41-XX）…
HYPERG公司 5份文件引用(1999–2010) 软件作者： 布鲁诺·高蒂尔 相关软件： HYP；枫树；gfun… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数论（11-XX）…
MAS公司 5份文件引用(1997–2015) 软件作者： Kredel，H.，Pesch，M 相关软件： 菅直人；伯格曼；费利克斯… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；非结合环和代数（17-XX）…
参数GCD 5份文件引用(2018–2023) 软件作者： 卡普尔，迪帕克；鲁、东；迈克尔·莫纳根（Michael Monagan）；孙尧；王定康 相关软件： 单一；PGB；差异托马斯… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
个人数字助理 5份文件引用(1989–2007) 软件作者： F.B.汉森。；梅京东；Tier，Charles；徐慧煌 相关软件： MA32型 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
PLA-PFGLM.mpl公司 5份文件引用(2017–2020) 软件作者： Dehghani Darmian，Mahdi；阿米尔·哈希米 相关软件： dpgb；岩浆；grobcov.lib… 主要字段： 交换代数（13-XX）；几个复变量和分析空间（32-XX）；计算机科学（68-XX）…
多项式的 5份文件引用(2016–2023) 软件作者： 豪尔赫·德尔加多；胡安·曼纽尔·佩纳 相关软件： TNTool；Padua2D；Padua2DM… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）
RECAL公司 5份文件引用(1986–2020) 软件作者： 康威，A.E。；新墨西哥州乔治亚纳斯。 相关软件： – 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
RLT-位置 5份文件引用(2016–2023) 软件作者： 埃夫里姆·达尔基兰；哈尼夫·谢拉利。 相关软件： RAPOSa；古罗比；库恩… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）