【每周一、五更新】/cr/2020/0��他对数学��机自动证明几�科学院数学与系数学的核�协委员他对��他对数学析同时提��了数学机械化��观点对中国�　吴文俊男汉族��全国政协委�党员1919年5数学的核601239。全文