基本信息

冯如勇 男 博导 中国科学院数学与系统科学研究院
电子邮件: ryfeng@amss.ac.cn
通信地址: 北京市中关村东路55号
邮政编码:
电子邮件: 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 specialization 2017-09-11(2)Computing the Galois groups of linear difference eqautions 2017-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-应用数学