New development of theory and algorithms of mechanization of geometric theorem proving (gao xiaoshan as a main participant, 1997)

• 几何定理机器证明理论与算法的新进展(主要参加者高小山,1997)