近日，在加拿大举行的第32届国际符号和代数计算会议(ISSAC'07)上，李洪波研究员的论文《符号几何计算的诀窍：长几何积，基于括号的表示、展开、消元，和克利福德分解》（A Recipe for Symbolic Geometric Computing: Long Geometric Product, BREEFS and Clifford  Factorization）获得本年度唯一的“ISSAC杰出论文奖”。“ISSAC杰出论文奖”由“计算机科学协会(ACM)”符号与代数计算专业委员会颁发，选自当年度在ISSAC上报告的论文。 ISSAC是符号和代数计算方面最权威的国际会议。这是数学机械化重点实验室成员第二次获得这一奖项。

李洪波研究员的论文提出了欧氏几何符号计算的简化的新方法, 这一方法可以极大简化符号几何计算的复杂度。对于大部分几何命题，以前数十万项都难以完成的计算，现在只要一两项就能完成。这对于提高几何推理与计算的效率具有重要意义。该工作的基础是共形几何代数和零括号代数，而它们都是由李洪波研究员等建立的。国际同行认为，该项工作是符号机器证明领域的一个突破，其意义超出该领域本身。