2012-07-20
姓名：罗勇
性别：男
出生年月：1978年
职称：副教授
所在学院：数学与信息科学学院
研究方向：微分方程定性理论，符号计算
个人简介：
罗勇，1978年出生，男，1995-1999年就读四川大学数学学院，获理学学士学位，1999-2002年就读四川大学数学学院，师从陆征一教授，获理学硕士学位，2002-2005就读中科院数学与系统科学研究院，师从吴文俊院士、高小山研究员，获理学博士学位，2005至现在为温州大学数学与信息科学学院教师，历任讲师、副教授。
社会兼职：中国生物数学学会理事
担任课程：数学分析、机器证明、多项式系统理论、高等数学、计算机代数系统与符号计算、数学建模等课程
课题项目：
科研：
微分动力系统定性分析的计算机辅助证明（10726001）, 国家自然科学（天元）基金 （主持，2008）；
数学机械化方法及其在信息技术中的应用子课题（2004CB318002）,国家九七三重点基础规划项目（主研,2004 ）；
微分方程及其在生命科学中的应用国际会议（A0724604）, 国家自然科学（天元会议）基金 （主研，2007）；
教学：
《数学分析》与《常微分方程》课程的数学软件辅助教学与实践研究 ，校级教改（主持，2008）；
《微分方程若干计算机问题的实现》，校级开放实验室，（主研，2007）；
《计算机辅助定理证明相关算法的学习与实现》（10004050030782），校级开放实验室（主持，2008）；
《数学类研究生培养中管理教学科研的思路与实践》（3160603601040601），研究生教改（主研，2008）。
论文：
[1] Two limit cycles in three dimensional Lotka-Volterra systems ， Computer Math. Appl 2002, 44，51-66. （with Z. Lu）.
[2] Three limit cycles for a three-dimensional Lotka-Volterra competitive system with a heteroclinic cycle， Computer Math. Appl 2003, 46，231-238. （with Z. Lu） .
[3] Stability analysis for Lotka–Volterra systems based on an algorithm of real root isolation， Journal of Computational and Applied Mathematics, Volume 201, Issue 2, 15 April 2007, Pages 367-373 （with Z. Lu）.
[4] Analytical solution of the linear differential equation by Adomian decomposition method ，Journal of Computational and Applied Mathematics, 2007 （with Y. Hu and Z. Lu）.
[5] A characteristic set method for ordinary difference polynomial systems， J．Symb. Comp. 2009, 44, 242-260 （with X. Gao and C. Yuan）.
[6] Automatic search for multiple limit cycles in three-dimensional Lotka–Volterra competitive systems with classes 30 and 31 in Zeeman's classification, J. Math.Anal Appl. ., 2008, 348,34-37 （with X. Lian and Z. Lu）.
[7] An algorithm of real root isolation for polynomial systems with applications to the construction of limit cycles, Symb. Numb. Comp., 2007，131-147, （with B.He , Z. Lu and L. Pan） .
著作译著：
[1]《多项式系统的实根分离算法及其应用》科学出版社, 2004 , （with 陆征一, 何碧）.
[2]《进化对策与种群动力学（翻译）》 四川科学技术出版社, 2003. （with 陆征一）。
*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式
