On determining definite properties for real quadratic form and realizing by computer

• 二次型的判定及相关问题的计算机实现