发布时间：2013-09-17 | 来源：
李洪波，研究员、中国科学院数学机械化重点实验室主任
几何代数、计算机代数
1994年在北京大学数学系获博士学位。是国际几何代数界和计算机代数领域具有重要影响的知名学者，多年来在经典几何的Clifford代数建模与计算、定理机器证明等方面做出了突出的贡献，取得了一系列创新性成果。迄今发表各种论文100余篇，获得国内外诸多奖励和荣誉，包括1998年香港求是基金会青年学者奖，1999年德国洪堡基金，2007年ACM SIGSAM/ISSAC杰出论文奖，2015年David Hestenes奖。现任国家数学与交叉科学中心先进制造部主任、中国科学院数学与系统科学研究院卓越创新中心核心研究员。
【代表性论文】
[1] "Vectorial Equations Solving for Mechanical Geometry Theorem Proving", Journal of Automated Reasoning 25(2), 83–121, 2000.
[2] "Invariant Algebras and Geometric Reasoning", World Scientific, Singapore, 2008.
[3] "Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry", Mathematics in Computer Science 10(1):75-96, 2016.
