Characteristic theorem of positive definite quadratic form and its program

• 正定二次型的刻划定理及其程序