高小山，研究员、数学与系统科学研究院常务副院长
计算代数几何，符号计算, 自动推理，智能CAD，数控算法

主要研究量子算法与密码分析、符号计算、自动推理及其在智能CAD、机器人与视觉定位中的应用。研究成果包括：方程求解的量子算法与密码分析，微分稀疏结式理论，几何定理可读证明自动生成，几何约束求解，数控插补最优算法。曾获国家自然科学二等奖，国家杰出青年基金，求是青年学者奖，第36届国际计算机学会SIGSAM ISSAC杰出论文奖,第4届亚洲数学技术大会最佳论文奖。973项目“数学机械化与数字化设计制造”首席科学家，《Journal of Systems Science & Complexity》主编。发表论文150余篇，专著3部。 

 【代表性论文】

  [1] "Intersection Theory in Differential Algebraic Geometry: Generic Intersections and the Differential Chow Form", Trans. Amer. Math. Soc., 365(9), 4575-4632, 2013.

  [2] "Complete Solution Classification for the Perspective-Three-Point Problem", IEEE Trans. on Pattern Analysis and Machine Intelligence, 25(8), 930-943, 2003.

  [3] "Sparse Differential Resultant for Laurent Differential Polynomials", Foundations of Computational Mathematics, 15(2), 451-517, 2015. 

获更多信息，请访问个人网页