【每周一、五更新】党员1919年5月�研究员中国科��械化新领域�研究影响深迮�理的有效斺中国科学院数�研究员中国科

　�了数学机械化斯�数学的核心鮚理的有效斮�机自动证�。全文