基本信息
冯如勇男博导中国科学院数学与系统科学研究院
电子邮件： ryfeng@amss.ac.cn
通信地址： 北京市中关村东路55号
邮政编码：

研究领域符号计算，微分代数

招生信息
招生专业070104-应用数学

招生方向符号计算，微分/差分Galois理论


教育背景2000-09--2005-07中科院数学与系统科学研究院理学博士
1996-09--2000-07中国科学技术大学理学学士

学历 -- 研究生

学位 -- 博士

出国学习工作2007.9-2008.12 美国北卡州立大学 访问

工作经历2010.4 至今 中国科学院数学与系统科学研究院 副研究员
2005.7-2010.3中国科学院数学与系统科学研究院 助理研究员

工作简历2018-04~现在,中国科学院数学与系统科学研究院,研究员
2010-04~2018-03,中科院数学与系统科学研究院,副研究员
2005-07~2010-03,中科院数学与系统科学研究院,助理研究员

社会兼职

教授课程计算代数几何引论


专利与奖励
奖励信息（1） 首届吴文俊计算机数学青年奖, , 其他, 2017
（2） 数学与系统科学研究院“突出科研成果奖”, 研究所（学校）, 2014

专利成果

出版信息
发表论文（1）On the computation of the Galois groups of linear difference equations,Mathematics of Computation,2017,第1作者
（2）Computing the intersections of three conics according to their Jacobian curve,Journal of Symbolic Computation,,2016,第1作者
（3）On the Existence of Telescopers for Mixed Hypergeometric Terms,Journal of Symbolic Computation,2015,第3作者
（4）Hrushovski's Algorithm for computing the Galois group of a linear differential equation,Advances in Applied Mathematics,,2015,第1作者
（5）Parallel telescoping and parameterized Picard-Vessiot theory,Proc. ISSAC2014,2014,第2作者
（6）ON FUNCTIONAL DECOMPOSITION OF MULTIVARIATE POLYNOMIALS WITH DIFFERENTIATION AND HOMOGENIZATION,J Syst Sci Complex,2012,第2作者
（7）On the structure of compatible rational functions,Proc. ISSAC11,2011,第2作者
（8）An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations,Journal of Symbolic Computation,2010,第1作者
（9）Liouvillian solutions of difference-differential equations,Journal of Symbolic Computation,2010,第1作者
（10）Rational solutions of ordinary difference equations,Journal of Symbolic Computation,2008,第1作者
（11）Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant,Science in China Series A: Mathematics,2008,第1作者
（12）Rational solutions of ordinary difference equations,Journal of Symbolic Computation,2006,第1作者
（13）A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs,Journal of Symbolic Computation,2006,第1作者
（14）Algebraic general solutions of algebraic ordinary differential equations,Proc.ISSAC2005,2005,第3作者
（15）Rational general solutions of algebraic ordinary differential equations,Proc.ISSAC2004,2004,第1作者
（16）
（17）

发表著作

科研活动
科研项目（ 1 ） 微分、差分方程的 Galois 理论及求liouvillian 解的算法研究, 主持,研究所（学校）,2010-01--2012-12
（ 2 ） 数学机械化方法及其在数字化设计制造中的应用, 参与,国家级,2011-01--2015-12
（ 3 ） 青年促进会, 参与,部委级,2014-01--2017-12
（ 4 ） 差分Galois理论中的算法及其应用, 主持,国家级,2018-01--2021-12

参与会议（1）Difference Galois groups under specialization2017-09-11
（2）Computing the Galois groups of linear difference eqautions2017-07-24
（3）Parallel Differential Telescoping冯如勇2016-07-24
（4）On the computation of the Galois groups of linear difference equations冯如勇2016-07-03
（5）Computing the Galois groups of linear difference equations冯如勇2015-10-20
（6）Hrushovski’s algorithm for computing the Galois group of a linear differential equations美国数学学会中部分部会议冯如勇2014-01-01
（7）Computing the Galois group of linear difference-differential equations美国数学学会年度会议冯如勇2012-02-01


合作情况
项目协作单位

指导学生已指导学生
熊纯文硕士研究生070104-应用数学
现指导学生
陆伟硕士研究生070104-应用数学