个人简介

招生专业 070101-基础数学 070104-应用数学 招生方向 符号计算，数学机械化方法，差分代数，构造性微分代数 计算机辅助几何设计与数字化制造 教育背景 2002-09--2007-05 中国科学院数学与系统科学研究院 理学博士学位 1998-09--2002-07 中国科学技术大学 理学学士学位 工作简历 2012-03--今 中国科学院数学与系统科学研究院 所聘副研究员 2007-07--2012-03 中国科学院数学与系统科学研究院 助理研究员 奖励信息 （1） ISSAC Distinguish Paper Award，其他级，2011 （2） “陈景润未来之星”，院级级，2009 专利成果 （1） 基于二次B样条曲线对G01代码的拟合及插补方法，发明，2009，第2作者，专利号：ZL 2009 1 0082732.9 科研项目 （1） 微分差分多项式系统高效消元算法研究，主持，国家级，2012-01--2014-12 （2） 数学机械化方法及其在信息技术中的应用，参与，国家级，2012-01--2014-12 （3） 数学机械化方法及其在数字化设计制造中的应用，参与，部委级，2011-01--2015-12 参与会议 （1） A Greedy Algorithm for Feed rate Planning of CNC Machines long Curved Tool Path with Confined Jerk，第四届全国计算机数学学术会议，2011-11，Ke Zhang, Chun-Ming Yuan, Xiao-Shan Gao, Hongbo Li （2） Differential Chow Form and Differential resultant，2011-07，Wei Li, Xiao-Shan Gao, Chun-Ming Yuan （3） Differential Chow Form ，2010-10，Wei Li, Xiao-Shan Gao, Chun-Ming Yuan