毫升 引用于516份文件（1978年至2024年） 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 相关软件： HOL；辅酶q；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
国际实验室 508份文件引用(1999–2024) 软件作者： 齐格弗里德·M·臀部。 相关软件： Matlab；mctoolbox；C-XSC 2.0… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
DDE-BIFTOOL工具 366份文件引用(2000–2024) 软件作者： Engelborghs，K。；Luzianina，T。；鲁斯，D。 相关软件： Matlab；克努特；自动… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
贝尔蒂尼 290份文件引用(2008–2024) 软件作者： D.Bates、J.Hauenstein、A.Sommese、C.Wampler 相关软件： PHCpack；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
差异矩阵套件 275份文件引用(2000–2023) 软件作者： 魏德曼，J.A.C。；南卡罗来纳州雷迪 相关软件： Matlab；切布冯；Eigtool… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
隔离 237篇文献引用(1999–2024) 软件作者： Fabrice的Rouillier；保罗·齐默尔曼 相关软件： 克罗内克；FGb；枫树… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
LiE公司 179份文件引用（1993年至2024年） 软件作者： A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件： Mathematica；岩浆；麦考利2… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
MultRoot（多根） 105篇文献引用(2003–2023) 软件作者： 郑中刚 相关软件： Matlab；PHCpack；GPGCD… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
钠20 79份文件引用(2000–2022) 软件作者： 达里奥·安德里亚·比尼；佛罗伦萨，朱塞佩 相关软件： na10；隔离；特征解… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；实函数（26-XX）；复变量函数（30-XX）…
钠10 53篇文献引用(1996–2022) 软件作者： 达里奥·安德里亚·比尼 相关软件： na20；mctoolbox；隔离… 主要字段： 场论与多项式（12-XX）；线性代数和多线性代数；矩阵理论（15-XX）；复变量函数（30-XX）…
MPFI公司 47篇文献引用(1979–2023) 软件作者： Nathalie Revol；法布里斯·鲁利耶 相关软件： MPFR；C-XSC 2.0；隔离… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
DDE跟踪 33篇文献引用(2010–2023) 软件作者： Breda，D.，Maset，S.，Vermiglio，R。 相关软件： DDE-升降池；Matlab；GradSamp… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
INTBIS公司 31份文件引用(1990–2018) 软件作者： Kearfott，R.Baker；曼努埃尔三世诺沃亚 相关软件： INTLIB；IbexOpt；数值… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
特征解 26篇文献引用(2002–2024) 软件作者： 《财富》，史蒂文 相关软件： na20；na10；mctoolbox… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；复变量函数（30-XX）…
切尼-金凯 23篇文献引用(1985–2012) 软件作者： 沃德·切尼（Ward Cheney）；大卫·金凯 相关软件： Matlab；伊斯兰教；数学… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
变身 23篇文献引用(2012–2023) 软件作者： 托尔斯滕·阿伦特；恩里科·比尔曼；斯特凡·尤拉克；克里斯蒂安·克劳斯（Christian Krause）；加布里埃尔·坦泽尔 相关软件： AGG；沟槽；GrGen… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
隔离 25篇文献引用(2005–2023) 软件作者： 塞德尔，雷蒙德；尼古拉·沃尔珀特 相关软件： 隔离；枫树；阿克塞尔… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
根求解（RootSolve） 19份文件引用(2011–2023) 软件作者： 卡琳·索塔特 相关软件： R；解算；BvpSolve… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；数值分析（65-XX）…
MAPC公司 23篇文献引用(1999–2012) 软件作者： J.Keyser、T.Culver、D.Manocha、S.Krishnan。 相关软件： LEDA；CGAL；EXACUS… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；凸和离散几何（52-XX）…
考克斯计 22篇文献引用(1994–2019) 软件作者： 斯坦布里奇，J.R 相关软件： 偏序集；SF；枫树… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；非结合环与代数（17-XX）…
查比斯 20篇文献引用(1988–2022) 软件作者： 迈克尔·N·弗拉哈蒂斯。 相关软件： RFSFNS；赞比亚电力公司；minpack… 主要字段： 特殊功能（33-XX）；动力系统与遍历理论（37-XX）；代数拓扑（55-XX）…
QROOT公司 17篇文献引用（1993年至2022年） 软件作者： M.L.乔杜里 相关软件： MCQueue；QPACK；枫树 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
液化石油气 16篇文献引用(2009–2021) 软件作者： J.-S.Cheng、X.S.Gao、J.Li 相关软件： 隔离；隔离；CGAL… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；复变量函数（30-XX）…
新Dsc 15篇文献引用(2016–2023) 软件作者： 亚历山大·科贝尔（Alexander Kobel）；Fabrice的Rouillier；迈克尔·萨格拉洛夫 相关软件： 隔离；集群；仲裁… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；复变量函数（30-XX）…
支持某人 15篇文献引用(2015–2022) 软件作者： 中冢由纪夫 相关软件： 切布冯；Chebfun2；贝尔蒂尼… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
COPRIN公司 14篇文献引用(2003–2016) 软件作者： COPRIN项目 相关软件： 椰子；MersenneTwister；IbexOpt… 主要字段： 差分方程和函数方程（39-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HOPLA公司 14篇文献引用(2002–2014) 软件作者： 米克尔·奈加德；格林·温斯克尔 相关软件： 新HOPLA 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
算法931 12份文件引用(2013–2024) 软件作者： 郝文瑞；Andrew J.Sommese。；曾忠刚 相关软件： 贝尔蒂尼；PHCpack；Matlab… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
拉马斯 12份文件引用(2006–2013) 软件作者： 马吕斯·克劳泽（Marius Kloetzer）；卡林·贝尔塔 相关软件： RoVerGeNe；高科技；PHAVer… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
合理化根 在11份文件中引用(2020–2023) 软件作者： 马可·贝西尔（Marco Besier）、帕斯卡尔·瓦塞尔（Pascal Wasser）、斯特凡·温泽尔（Stefan Weinzierl） 相关软件： 火灾；雷杜泽；ε… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
RFSFNS公司 12份文件引用(1995–2020) 软件作者： M.N.Vrahatis、O.Ragos、T.Skiniotis、F.A.Zafiropoulos、T.N.Grapsa 相关软件： 侏儒；精灵；ZEBEC… 主要字段： 特殊功能（33-XX）；代数拓扑（55-XX）；数值分析（65-XX）…
SqFreeEVAL公司 在11份文件中引用(2012–2023) 软件作者： 迈克尔·A·伯尔（Michael A.Burr）。；费利克斯·克拉默 相关软件： 隔离；na20；ANewDsc… 主要字段： 代数几何（14-XX）；实函数（26-XX）；复变量函数（30-XX）…
MSigDB公司 10篇文献引用(2014–2023) 软件作者： A.利伯松 相关软件： 生物导体；KEGG；字符串… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
组合学_单词 10篇文献引用(2017–2023) 软件作者： Štěpán Holub；马丁·拉什卡；Štěpán Starosta 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 计算机科学（68-XX）
PGeomlib公司 10篇文献引用(2012–2023) 软件作者： 布鲁诺，公元。；巴特金，A.B。 相关软件： 设计；SymPy；枫树… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
决策支持系统 3份文件引用(2008–2022) 软件作者： 保罗·吉尔伯特 相关软件： R；dlm；KFAS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
基本发电机 7份文件引用(2021–2023) 软件作者： 胡安·卡洛斯·克里亚多 相关软件： DEFT；费恩规则；超级跟踪器… 主要字段： 可变形固体力学（74-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
精确度 7份文件引用(2001–2009) 软件作者： S.Krishnan、M.Foskey、T.Culver、J.Keyser、D.Manocha 相关软件： MAPC；利迪亚；mctoolbox… 主要字段： 交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
fUnitRoots（单位根） 4份文件引用(2008–2019) 软件作者： Diethelm Wuertz、Tobias Setz、Yohan Chalabi 相关软件： R；采摘；dynlm… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
SIROCCO公司 6篇文献引用(2016–2023) 软件作者： 米盖尔·马尔科；马科斯·罗德里格斯 相关软件： SageMath；GitHub；pss5… 主要字段： 代数几何（14-XX）；群论与推广（20-XX）；流形和细胞复合体（57-XX）…
切线Graeff 6篇文献引用(2015–2023) 软件作者： 乔里斯·范德霍温（Joris van der Hoeven）；迈克尔·莫纳根 相关软件： NTL；FGb；达格伍德… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
C群集 5份文件引用(2018–2023) 软件作者： 雷米·伊姆巴赫；Victor Y.Pan。；耶，芝士 相关软件： ANewDsc；阿伯；Lgp… 主要字段： 场论与多项式（12-XX）；复变量函数（30-XX）；数值分析（65-XX）…
CGoGN公司 4份文件引用(2014–2019) 软件作者： 皮埃尔·克莱默（Pierre Kraemer）、莱昂内尔·昂特雷纳（Lionel Untereiner）、托马斯·容德（Thomas Jund）、西尔万·塞里（Sylvain Thery）、大卫·卡齐尔（David Cazier） 相关软件： CGAL；莫卡；OpenVolumeMesh… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）；数值分析（65-XX）…
动态优先权 4份文件引用(2018–2024) 软件作者： 安德斯·延森（Anders Jensen）、杰夫·索马斯（Jeff Sommars）、扬·维舍尔（Jan Verschelde） 相关软件： 格凡；单一；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
ESPResSo公司++ 3份文件引用(2017–2019) 软件作者： Halverson，J.D。；Brandes，T。；O.Lenz。；阿诺德，A。；Bevc，S。；Starchenko，V。；Kremer，K。；斯图恩，T。；D.赖斯。 相关软件： 蟒蛇；NAMD；ESPResSo… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；量子理论（81-XX）…
FIDE公司 4份文件引用(1989–2012) 软件作者： 里斯卡（R.Liska）；L.Drsda博士 相关软件： QEPCAD；减少；重新记录… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
火星 5份文件引用(1998–2016) 软件作者： 亚伦·瓦拉克；埃米里斯，约阿尼斯·Z。；马诺查，迪内什 相关软件： Matlab；枫树；SADoRe… 主要字段： 场论与多项式（12-XX）；实函数（26-XX）；数值分析（65-XX）…
蒙尼达 5份文件引用(2013–2019) 软件作者： 路易斯·马蒂；加西亚，杰苏斯；安东尼奥·贝兰加；何塞·莫利纳。 相关软件： SMS-EMOA；SPEA2；MOEA/D… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NEP公司 5份文件引用(2020–2023) 软件作者： 卡门·坎波斯；罗曼（Jose E.Roman）。 相关软件： SLEPc；NLEIGS；MUMPS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
p3增量 5份文件引用(2021–2023) 软件作者： 布萨达，伊斯兰；吉勒梅尔·马赞蒂；尼古列斯库，西尔维乌·尤利安；朱利安·休恩；Sim，Franck；托马斯·马蒂厄 相关软件： DLMF；粘合剂2.0；蟒蛇 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；系统论；控制（93-XX）
SARAG公司 5份文件引用(2003–2008) 软件作者： 法布里西奥·卡鲁索 相关软件： QEPCAD；RAGlib；FGb… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
分离根 4份文件引用(2017–2021) 软件作者： Chen，Parry Y。；尤纳坦·西万 相关软件： 算法699；EZERO公司；ZEAL… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；光学、电磁理论（78-XX）…
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
G小调 4份文件引用（2010年至2019年） 软件作者： 安德鲁·麦克里特（Andrew McCreight）；蒂姆·骑士；安德鲁·托尔马赫 相关软件： 辅酶q；CompCert；CompCertTSO… 主要字段： 计算机科学（68-XX）
SU3公司 4份文件引用(1996–2021) 软件作者： 托马斯·凯丁（Thomas A.Kaeding）。；威廉姆斯·H·托马斯 相关软件： SU3Clebsch；SU3CGVCS；WIGXJPF… 主要字段： 群论与推广（20-XX）；拓扑群，李群（22-XX）；计算机科学（68-XX）…
TBAG公司 2份文件引用(1997–2018) 软件作者： Conal Elliott、Greg Schechter、Ricky Yeung、Salim Abi-Ezzi 相关软件： 弗兰；哈斯克尔；SMIL… 主要字段： 计算机科学（68-XX）
图特 4份文件引用(2010–2022) 软件作者： 贝迪尼，A。；雅各布森，J.L。 相关软件： tutte_bhkk；GiNaC；SageMath… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）
文伯格算法 4份文件引用(2018–2023) 软件作者： 尼古拉·博加乔夫；亚历山大·佩雷佩奇科 相关软件： GitHub；VinAlg-Z-sqrt-2；SageMath公司 主要字段： 数论（11-XX）；群论与推广（20-XX）；几何（51-XX）
芬奇 4份文件引用(2014–2021) 软件作者： B.Büeler、A.Enge、K.Fukuda 相关软件： lrs；Normaliz；cdd… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；凸和离散几何（52-XX）…
虚拟叶 3份文件引用(2015–2019) 软件作者： Merks，R.、Guravage，M.、Inzé，D.、Beemster，G 相关软件： PhysiCell；CellSys；微血管Chaster… 主要字段： 生物学和其他自然科学（92-XX）
算法954 3份文件引用(2015–2020) 软件作者： 弗洛克，N。 相关软件： 算法493；算法1010；DLMF… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；系统论；控制（93-XX）
BiRoots公司 3份文件引用(2017–2018) 软件作者： B.普列斯滕亚克 相关软件： NACLab；MultiParEig；BertiniLab… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）
EZERO公司 3份文件引用（2006年至2018年） 软件作者： 吉兰，C.J。；舒欣斯基，A。；斯彭斯，我。 相关软件： ZEAL公司；分离根；算法699 主要字段： 数值分析（65-XX）；统计力学，物质结构（82-XX）；信息与通信理论，电路（94-XX）
FFTbor公司 2份文件引用(2016–2018) 软件作者： Senter，E；谢赫，S；多图，我；庞蒂，Y；克洛特，P 相关软件： 维也纳RNA；NNDB；MODENA… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
rootsur.lib公司 3份文件引用(2015–2020) 软件作者： 托比斯，E。 相关软件： 单一；realclassify.lib；rootisolation.lib… 主要字段： 代数几何（14-XX）
SLV公司 2份文件引用(2016–2019) 软件作者： 伊莱亚斯·齐加里达斯 相关软件： 枫树；ANewDsc；微小的… 主要字段： 场论与多项式（12-XX）；数值分析（65-XX）；计算机科学（68-XX）
TVT电视 3份文件引用(2004–2022) 软件作者： 维塔宁，海基；亨利·汉森；安蒂·瓦尔马里；朱哈·尼米宁；蒂莫·埃尔基拉 相关软件： mCRL2；CADP；Sylvan… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
计算复杂根 2份文件引用(2020) 软件作者： 李文达（Wenda Li） 相关软件： 存档正式证据；HOL；Isabelle/HOL… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
dynopt公司 1份文件引用(2012) 软件作者： M.Cizniar；D.Salhi；M.Fikar；拉提菲硕士 相关软件： SOCS；PROPT；奥的斯… 主要字段： 变分法与最优控制；优化（49-XX）；生物学和其他自然科学（92-XX）
IPSHIN公司 2份文件引用(2003–2023) 软件作者： Bornhorst，F.、Baum，C.F。 相关软件： Stata公司 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
谋杀 2份文件引用(2000–2018) 软件作者： E.S.伯纳德 相关软件： LiE；Z；CHomP… 主要字段： 总体主题；藏品（00-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
实际导入（_I） 2份文件引用(2017–2019) 软件作者： 雷内·蒂曼 相关软件： 自动参考；存档正式证据；起重… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
Sqrt_巴比伦语 2份文件引用(2016–2020) 软件作者： 蒂曼，R。 相关软件： 存档正式证据；Isabelle/HOL；矢量空间… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
代数核 1份文件引用（2013年） 软件作者： E.Berberich、M.Hemmer、S.Lazard、L.Peñaranda、M.Teillaud 相关软件： 二维布置；枫树；隔离… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）
代数数 1份文件引用(2019) 软件作者： RenéThiemann、Akihisa Yamada、Sebastiaan Joosten 相关软件： 梅蒂塔斯基；辅酶q；特殊功能边界… 主要字段： 场论与多项式（12-XX）；计算机科学（68-XX）
CADECOM公司 1份文件引用(2000) 软件作者： 詹姆·古铁雷斯（Jaime Gutierrez）；罗萨里奥·鲁比奥 相关软件： 枫树 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）
曼比斯 1份文件引用(2018) 软件作者： 迪米特拉·内菲利·A·佐图。；卡夫瓦迪亚·迪米特里斯·J。；弗罗索·S·马克里。；迈克尔·N·弗拉哈蒂斯。 相关软件： 查比斯 主要字段： 数值分析（65-XX）
MDBM.jl公司 1份文件引用(2020) 软件作者： D.巴赫拉蒂 相关软件： 随机半离散化.jl；GitHub；朱莉娅 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）
muAO-MPC 1份文件引用(2022) 软件作者： Zometa，P.，Kögel，M.，Findeisen，R。 相关软件： FiOrdOs；LiftOpt；Matlab… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
平行延迟边缘光纤 1份文件引用(2021) 软件作者： 阿德里安·拉米雷斯；迪米特里·布雷达；里法特·西帕希 相关软件： GitHub；示踪-DDE；DDE-BIFTOOL工具 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；系统论；控制（93-XX）
PDDE-升降工具 1份文件引用(2016) 软件作者： Engelborghs K、Luzianina T、Samaey G 相关软件： Matlab；PSP分析；跟踪DDE… 主要字段： 数值分析（65-XX）；生物学和其他自然科学（92-XX）