New development of theory and algorithms of mechanization of geometric theorem proving (gao xiaoshan as a main participant, 1997)是什么意思_New development of theory and algorithms of mechanization of geometric theorem proving (gao xiaoshan as a main participant, 1997)在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句