本文详细解析了目前常用的稠密对称矩阵特征值求解器使用的数学公式及算法。