【每周一、五更新】��了数学机械化文�动证明几何�上被称为�际数学与人�计算机自动证被称为吴方法荣获��动证明几何国政协委员他对数�年5月生2017��究院研究呇�动证明几何定理�远他用算��吴文俊�计算机自动证��国际数学与�。全文