近日,在意大利举行的第31届国际符号和代数计算会议 (ISSAC’06)上,我院数学机械化重点实验室李子明研究员、郑大彬博士与合作者M.Singer、吴敏的论文“A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules”被评为 “ISSAC最佳论文奖”(Distinguished Paper Award)。 “ISSAC最佳论文奖”由“计算机科学协会 (ACM)”符号与代数计算专业委员会颁发,选自当年度在ISSAC上报告的论文。ISSAC是符号和代数计算方面最权威的国际会议。