高斯-若尔当消元法 4份文件引用(2014–2017) 软件作者： 何塞·迪瓦松；杰苏斯·阿兰塞 相关软件： 伊莎贝尔；Isabelle/HOL；开普勒98… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
法国试验标准 2份文件引用(2014–2021) 软件作者： Youssef，Nabil L。；埃尔根迪，S.G。 相关软件： 芬斯勒；枫树；芬斯勒 主要字段： 微分几何（53-XX）；全局分析，流形分析（58-XX）；计算机科学（68-XX）
排名为空 2份文件引用(2014–2017) 软件作者： 何塞·迪瓦森；杰苏斯·阿兰塞 相关软件： HOL；自动参考；高斯-乔丹… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
排名Rev 2份文件引用(2018–2019) 软件作者： Lee，Tsung Lin；Li，Tien-Yien；曾忠刚 相关软件： UTV；NACLab；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
向量空间 2份文件引用(2018–2020) 软件作者： 霍尔登·李 相关软件： 贝列坎·扎森豪斯；Isabelle/HOL；Sqrt_Babylonian… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；场论与多项式（12-XX）…