数值分析,用迭代法解决系数矩阵的计算包括具体的例子,还有理论证明gmres