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

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