重新记录 172份文件引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
SeDiMO公司 17篇文献引用(2007–2023) 软件作者： Karin Baur；Draisma，Jan；威廉·德·格拉夫。 相关软件： 麦考利2号；贝尔蒂尼；间隙… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）…
PHSVDS公司 14篇文献引用(2015–2024) 软件作者： 吴凌飞；安德烈亚斯·斯塔托普洛斯 相关软件： PRIMME公司；原始视频数据；稀疏矩阵… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
火星 5份文件引用(1998–2016) 软件作者： 亚伦·瓦拉克；埃米利斯，Ioannis Z。；迪内什·马诺查 相关软件： Matlab；枫树；SADoRe… 主要字段： 场论与多项式（12-XX）；实函数（26-XX）；数值分析（65-XX）…