摘要：1 定义 一个n阶实对称矩阵MM符合正定矩阵的条件是当且仅当非零实系数向量zz，都有zTMzzTMz 0 2 性质 2.1 充要条件 矩阵MM的特征值全是正数 A的各阶顺序主子式都是是正的 MM合同于单位矩阵 2.2 基本性质 正定矩阵的任一主子矩阵也是正定矩阵。 若A为n阶对称正定矩阵，则存在唯一 阅读全文

摘要：矩阵求逆引理证明 遇到矩阵求逆引理论，这个公式有点云里雾里的. $$(A+BCD)^{ 1}=A^{ 1} A^{ 1}B(DA^{ 1}B+C^{ 1})^{ 1}DA^{ 1}$$ 这个证明一下该公式: 假设 $$A^{ 1}+X = (A+BCD)^{ 1}$$ $$\sum_{i=0}^N\ 阅读全文

摘要：1 BLAS库 BLAS(Basic Linear Algebra Subprograms)是一组线性代数计算中通用的基本运算操作函数集合。BLAS Technical (BLAST) Forum负责规范BLAS函数接口, 并在网站[1]公布一个由Fortran语言编写的BLAS库。这个Fortra 阅读全文