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

 

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