国际实验室 508份文件引用(1999–2024) 软件作者： 齐格弗里德·M·臀部。 相关软件： Matlab；mctoolbox；C-XSC 2.0… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
NTL公司 242份文件中引用（1998年-2023年） 软件作者： 维克托·舒普 相关软件： gmp；岩浆；NTRU… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
费马 47篇文献引用（1997年至2022年） 软件作者： Robert H.Lewis博士网址：http://www.bway.net/~刘易斯 相关软件： 表格；雷杜泽；基拉… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；数值分析（65-XX）…
MOPS公司 27篇文献引用(2006–2022) 软件作者： 爱奥那州杜米特里乌；艾伦·爱德曼（Alan Edelman）；吉恩·舒曼 相关软件： OPQ；数据捕获；SRJAC… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；特殊功能（33-XX）…
SYNAPS公司 24篇文献引用(2002–2009) 软件作者： B.Mourrain、J.P.Pavone、Trebuchet博士、E.Tsigaridas 相关软件： 隔离；na10；奇异… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
MAPC公司 23篇文献引用(1999–2012) 软件作者： J.Keyser、T.Culver、D.Manocha、S.Krishnan。 相关软件： LEDA；CGAL；EXACUS… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；凸和离散几何（52-XX）…
跳闸 引用于19份文件(2002–2022) 软件作者： J.Laskar、M.Gastineau 相关软件： 岩浆；单一；gmp… 主要字段： 场论与多项式（12-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
JAS公司 15篇文献引用(2008–2023) 软件作者： 海因茨·克雷德尔 相关软件： 单一；AXIOM；复数… 主要字段： 数论（11-XX）；交换代数（13-XX）；结合环与代数（16-XX）…
投影Noether 15篇文献引用(2000–2019) 软件作者： 马克·朱斯蒂（Marc Giusti）；哈格尔，克莱门斯；勒塞夫（Lecerf）、格雷戈里（Grégoire）；乔·马尔坎德；布鲁诺·萨维 相关软件： 克罗内克；单一；FGb… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
方庭 15篇文献引用(2006–2020) 软件作者： 科姆省柏柏因；亨利·吉尔伯特；雅克·帕塔林 相关软件： 麦克利埃塞；eSTREAM；ZHFE… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
ZHFE公司 14篇文献引用(2014–2021) 软件作者： Porras，J.、Baena，J.和Ding，J。 相关软件： 岩浆；方庭；闪烁… 主要字段： 数论（11-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
英国石油协会 10篇文献引用（2010年-2023年） 软件作者： Changbo Chen、Farnam Mansouri、Marc Moreno Maza、Ning Xie、Yuzhen Xie 相关软件： 岩浆；打火石；正则链… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
图特_bhkk 在11份文件中引用（2010年-2023年） 软件作者： 安德烈亚斯·比约克隆德（Andreas Björklund）、托尔·胡斯菲尔德（Thore Husfeldt）、佩特里·卡斯基（Petteri Kaski）、米科·科维斯托（Mikko Koivisto） 相关软件： 图特；SageMath；GiNaC… 主要字段： 组合数学（05-XX）；数论（11-XX）；数值分析（65-XX）…
GCDHEU公司 10篇文献引用(1984–2022) 软件作者： 查尔，布鲁斯·W。；基思·O·格德斯。；Gaston H.Gonnet。 相关软件： 枫树；伊斯兰教；减少… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
msolve公司 6篇文献引用(2022–2024) 软件作者： Jérémy Berthomieu、Christian Eder、Mohab Safey El-Din 相关软件： 单一；岩浆；奥斯卡… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）…
ANOV近似值 8份文件引用(2021–2023) 软件作者： 巴特尔，F。；施密施克，M。；D.波茨 相关软件： NFFT3；NFFT；CRAIG… 主要字段： 近似和展开（41-XX）；欧氏空间（42-XX）的调和分析；统计学（62-XX）…
古巴国防部 8份文件引用(2006–2017) 软件作者： 萨达尔·安尼苏尔·哈克（Sardar Anisol Haque）、辛莉（Xin Li）、法纳姆·曼苏里（Farnam Mansouri）、马克·莫雷诺·马扎（Marc Moreno Maza）、韦潘（Wei Pan）、谢宁（Ning Xie） 相关软件： 枫树；岩浆；正则链… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
吉瓦罗 8份文件引用（1997年至2022年） 软件作者： 蒂埃里·戈蒂埃（Thierry Gautier）、珍妮·卢伊斯·罗奇（Jean-Louis Roch）、吉勒斯·维拉德（Gilles Villard） 相关软件： NTL；LinBox；FFLAS-FFPACK… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
M4GB 8份文件引用(2017–2023) 软件作者： Makarim，Rusydi H。；马克·史蒂文斯 相关软件： MQ挑战；GeMSS；FGb… 主要字段： 数论（11-XX）；交换代数（13-XX）；数值分析（65-XX）…
多项式 6篇文献引用(2017–2021) 软件作者： 克里斯蒂安·斯特纳格尔、雷内·蒂曼、亚历山大·马列茨基、费比安·伊姆勒、弗洛里安·哈夫特曼、安德烈亚斯·洛赫比勒、亚历山大·本特坎普 相关软件： Groebner_Bases；Isabelle/HOL；z3… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
梯队形式 5份文件引用(2016–2022) 软件作者： 何塞·迪瓦森；杰苏斯·阿兰塞 相关软件： Isabelle/HOL；伊莎贝尔；传输… 主要字段： 交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）…
快速修改标准 5份文件引用(2000–2011) 软件作者： D.K.Boku；W.Decker；C.菲克 相关软件： FOXBOX；达格伍德；modstd.lib… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和展开（41-XX）…
参数GCD 5份文件引用(2018–2023) 软件作者： 卡普尔，迪帕克；鲁、东；迈克尔·莫纳根（Michael Monagan）；孙尧；王定康 相关软件： 单一；PGB；差异托马斯… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
深入学习（_L） 4份文件引用(2017–2023) 软件作者： 亚历山大·本特坎普 相关软件： Isabelle/HOL；多项式；Groebner_基底… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
Groebner_基础 4份文件引用(2017–2019) 软件作者： 费比安·伊姆勒；亚历山大·马列茨基 相关软件： 多项式；Isabelle/HOL；深入学习（_L）… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
NL认证 4份文件引用（2014年至2017年） 软件作者： 维克托·马格伦 相关软件： OCaml；Coq；索利娅… 主要字段： 数论（11-XX）；近似和展开（41-XX）；数值分析（65-XX）…
绝对值.lib 3份文件引用(2007–2021) 软件作者： 沃尔夫拉姆·戴克（Wolfram Decker）、格雷戈尔·勒塞夫（Gregoire Lecerf）、格哈德·普菲斯特（Gerhard Pfister） 相关软件： 单一；岩浆；CindyJS… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
algstat公司 2份文件引用(2018–2019) 软件作者： Kahle，D.、Garcia-Puente，L.、Yoshida，R。 相关软件： R；4ti2；dplyr… 主要字段： 交换代数（13-XX）；统计学（62-XX）
字符集 3份文件引用(2004–2007) 软件作者： 王东明 相关软件： 枫树；ATFM；PDE专用解决方案… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
倍数 3份文件引用(2005–2020) 软件作者： L.Busé，I.Z.Emiris；B.穆兰 相关软件： 贝佐特；拉曼图；MonodromySolver… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
POS3POLY公司 3份文件引用(2013–2017) 软件作者： ⑩icleru，Bogdan C。；博格丹·杜米特里斯库 相关软件： CVX；塞杜米；SDPT3… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；运筹学，数学规划（90-XX）…
GCMFEM公司 2份文件引用(2022–2023) 软件作者： 亚历山大·古塞夫（Alexander A.Gusev）。；加尔满达克的楚鲁邦巴塔；奥赫巴德拉赫·楚鲁班巴塔尔；维尼茨基，塞尔格一世。；尤里·布林科夫（Yuri A.Blinkov）。；阿尔及尔达斯·德维基斯；彼得·O·赫斯。；Hai、Luong Le 相关软件： 伪对称；Mathematica；DLMF… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；量子理论（81-XX）
米隆加 2份文件引用(2002–2008) 软件作者： 布鲁诺，北。；海因茨，J。；马特拉，G。；Wachenchauzer，R。 相关软件： 投射Noether；克罗内克；隔离… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
多元动力系列 1份文件引用(2021) 软件作者： 穆罕默德·阿萨迪（Mohammadali Asadi）、亚历山大·勃兰特（Alexander Brandt）、马赫萨·卡泽米（Mahsa Kazemi）、马克·莫雷诺·马扎（Marc Moreno Maza）、埃里克·波斯塔 相关软件： SageMath；枫树；NTL… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
PowerMethod（功率方法） 1份文件引用(2017) 软件作者： 托德·海德里克；盛燕燕；弗拉维乌·阿德里安·霍迪斯 相关软件： Mathematica；Matlab；SEPath… 主要字段： 统计学（62-XX）
学习G价值模型 1份文件引用(2023) 软件作者： Jelena Mojsilović；迪伦·佩弗（Dylan Peifer）；索尼娅·彼得罗维奇 相关软件： 麦考利2号；4钛2 主要字段： 交换代数（13-XX）；代数几何（14-XX）；统计学（62-XX）