发布时间：2006-07-12 | 来源：系统所
在意大利举行的第31届国际符号和代数计算会议(ISSAC'06)上，数学机械化重点实验室李子明、郑大彬与M.Singer、吴敏合作的论文被评为 “ISSAC杰出论文奖”。
