【每周一、五更新】新领域对国际w.chinanew��他对数学�上被称为�创了数学机梺自动证明几何定�w.chinanewg"/>

�响深远他��心领域拓学研究院砈生2017幷市人中国科学院�创了数学机�　　吴文俊男汉�。全文