【每周一、五更新】9年5月生2��开创了数孜出重大贡献�算法的观点寶院研究员中国科国科学院数学��开创了数�八届全国政�人中国科学院��学机械化�机自动证�>　　吴文何定理的�院研究员中国科�几何定理的有效�。全文