高小山 中科院院数学院与系统科学院研究员、系统所所长.曾获国家自然科学奖二等奖、中科院自然科学奖一等奖、国家杰出青年基金、求是杰出青年学者奖、国际计算机学会符号与代数专业委员会ISSAC杰出论文奖等奖励.主要研究方向为数学机械化、自动推理、构造性代数几何、智能CAD研究.
计算几何学
湖北文理学院
几何学
模式识别国家重点实验室
中国科学院数学与系统科学研究院
您还未进行实名认证,请前往进行实名认证。