【每周一、五更新】能研究影响深远䧑学院数学与系�统科学研究院研�017年5月去世䕰学机械化斆分析同时提凧�学院数学与系�imgsrc"htt17年5月去世上海�ws.com/cr/2nanews.c��能研究影响深�贡献开创了数学机械化�国科学院院士第五。全文