基本信息
袁春明男博导中国科学院数学与系统科学研究院
电子邮件： cmyuan@mmrc.iss.ac.cn
通信地址： 北京市海淀区中关村东路55号中科院数学与系统科学研究院思源楼
邮政编码： 100190

研究领域

招生信息
招生专业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 **.9


出版信息
发表论文 （1） Interpolation of parametric CNC machining path under confined jounce，Journal of Advanced Manufacturing Technology，2012，第4作者
（2） A greedy algorithm for feedrate planning of CNC machines along curved tool paths with confined jerk，Robotics and Computer-Integrated Manufacturing，2012，第2作者
（3） Sparse Differential Resultant，Proc. ISSAC 2011，2011，第3作者
（4） Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines，Science China, Information Sciences，2011，通讯作者
（5） Collision and intersection detection of two ruled surfaces using bracket method，Computer Aided Geometric Design，2011，第3作者
（6） Implicitization using univariate resultants，Journal of Systems Science and Complexity，2010，第2作者
（7） A Criterion for Testing Whether A Difference Ideal Is Prime，Journal of Systems Science and Complexity，2009，第1作者
（8） Characteristic Set Method for Differential-Difference Polynomial Systems，Journal of Symbolic Computation，2009，第3作者
（9） A characteristic set method for ordinary difference polynomial systems，Journal of Symbolic Computation，2009，第3作者
（10） Submersive Rational Difference Systems and their Accessibility，Proc. ISSAC 2009，2009，第5作者
（11） Ritt-Wus Characteristic Set Method for Ordinary Difference Polynomial Systems With Arbitrary Orderring，Acta Mathematica Scientia，2009，第2作者

发表著作

科研活动
科研项目 （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


合作情况
项目协作单位

指导学生