编号	名称	标签	来源
00D7	Sylvester 惯性不等式	高等代数代数证明题二次型	admin
00D8	平移主对角线上元素使实对称矩阵正定	高等代数代数证明题二次型	admin
00D9	二次型非零零点存在引理	高等代数代数证明题二次型	admin
00DB	矩阵主对角线与二阶主子式和为零，求证零矩阵	高等代数代数证明题二次型	Liu One
00DC	Hadamard 不等式的正定矩阵情形及其推论	高等代数代数证明题二次型	Liu One