隔离 237篇文献引用(1999–2024) 软件作者： Fabrice的Rouillier；保罗·齐默尔曼 相关软件： 克罗内克；FGb；枫叶… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
利迪亚 51篇文献引用(1995–2021) 软件作者： 英格丽·比尔；约翰·布赫曼（Johannes Buchmann）；托马斯·帕帕尼科劳 相关软件： NTL；PARI/GP；MAPC… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
SPRNG公司 45篇文献引用(1990–2022) 软件作者： M.Mascagni、A.Srinivasa 相关软件： 测试U01；MersenneTwister；死亡… 主要字段： 数论（11-XX）；统计学（62-XX）；数值分析（65-XX）…
HELAC公司 29篇文献引用(2000–2023) 软件作者： Aggeliki Kanaki；Costas G.帕帕佐普洛斯。 相关软件： PHEGAS公司；CutTools；MadGraph… 主要字段： 拓扑群，李群（22-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
弗洛克 28篇文献引用(2011–2024) 软件作者： S Boldo；G Melquiond公司；英寸fr 相关软件： Coq；MPFR；Why3… 主要字段： 数理逻辑与基础（03-XX）；实函数（26-XX）；偏微分方程（35-XX）…
行程 19份文件引用(2002–2022) 软件作者： J.Laskar、M.Gastineau 相关软件： 岩浆；单数；gmp… 主要字段： 场论与多项式（12-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
孤立引力波 17篇文献引用(2013–2022) 软件作者： 迪迪埃·克莱蒙德；杜蒂克、丹尼斯 相关软件： Matlab；advanpix；SSGW公司 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
数字Exp 9份文件引用(2013–2024) 软件作者： 黄志伟；刘菊萍 相关软件： Hypexp；HYPERDIRE公司；HPL… 主要字段： 特殊功能（33-XX）；近似和展开（41-XX）；整体分析，流形分析（58-XX）…
MPIR公司 5份文件引用(2012–2018) 软件作者： 布莱恩·格拉德曼（Brian Gladman）、杰森·莫克瑟姆（Jason Moxham）、威廉·哈特（William Hart）；等。 相关软件： 打火石；阿伯；MPFR… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
EAGL公司 3份文件引用(2014–2022) 软件作者： 蒲、石；刘，Jyh-Charn 相关软件： 熊猫；MIRACL公司；CUDA公司 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
A路径 1份文件引用(2016) 软件作者： 沃尔夫冈·埃尔哈特 相关软件： DAmath；算法577；符号数学工具箱… 主要字段： 实函数（26-XX）；特殊功能（33-XX）；近似值和展开值（41-XX）
达马思 1份文件引用(2016) 软件作者： 沃尔夫冈·埃尔哈特 相关软件： AMath；算法577；符号数学工具箱… 主要字段： 实函数（26-XX）；特殊功能（33-XX）；近似值和展开值（41-XX）
多协议标签 2份文件引用(2005–2016) 软件作者： 沃尔特·施雷普斯（Walter Schreppers）；弗兰基·巴克尔贾乌；安妮·库伊特 相关软件： 库恩；COIN-OR/GAMSLinks；抄送… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数字Laplace反转。米 2份文件引用(2004–2018) 软件作者： 彼得·瓦尔科 相关软件： 修复了TalbotNumericalLaplaceInversion。米 主要字段： 组合数学（05-XX）；积分变换，运算微积分（44-XX）；数值分析（65-XX）
黎曼西塔 2份文件引用(2023–2024) 软件作者： 北布鲁因。 相关软件： LMFDB；SageMath；枫叶… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；数值分析（65-XX）
修复了TalbotNumericalLaplaceInversion。米 1份文件引用(2004) 软件作者： 阿巴特，J。；瓦尔科，P.P。 相关软件： 数字Laplace反转。米 主要字段： 积分变换，运算微积分（44-XX）；数值分析（65-XX）