发布时间:2019-10-26 | 来源:数学机械化重点实验
“吴文俊计算机数学青年学者奖” 是由吴文俊先生生前亲自批复、为表彰并鼓励杰出的计算机数学领域的青年科研人员,促进计算机数学青年人才的培养而设立。自第二届开始, 该奖正式由中国科学院系统科学研究所设立,并委托计算机数学专业委员会负责评奖工作.2019年10月25日在全国计算机数学年会上颁发了第二届“吴文俊计算机数学青年学者奖”。
本届获奖者为中国科学院数学与系统科学研究院的陈绍示副研究员, 以表彰他在符号计算与组合数学恒等式机器证明方面作出的突出工作。