冯如勇 - 中国科学院大学

个人简介

招生专业 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 ）微分、差分方程的 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-应用数学

研究领域

符号计算，微分代数

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（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 作者