姓名：罗勇性别：男出生年月：1978年职称：副教授所在学院：数学与信息科学学院研究方向：微分方程定性理论，符号计算个人简介：罗勇，1978年出生，男，1995-1999年就读四川大学数学学院，获理学学士学位，1999-2002年就读四川大学数学学院，师从陆征一教授，获理学硕士学位，2002-2005就读中科院数学与系统科学研究院，师从吴文俊院士、高小山研究员，获理学博士学位，2005至现在为温州大学数学与信息科学学院教师，历任讲师、副教授。社会兼职：中国生物数学学会理事担任课程：数学分析、机器证明、多项式系统理论、高等数学、计算机代数系统与符号计算、数学建模等课程课题项目：科研：微分动力系统定性分析的计算机辅助证明（10726001）,国家自然科学（天元）基金（主持，2008）；数学机械化方法及其在信息技术中的应用子课题（2004CB318002）,国家九七三重点基础规划项目（主研,2004）；微分方程及其在生命科学中的应用国际会议（A0724604）,国家自然科学（天元会议）基金（主研，2007）；教学：《数学分析》与《常微分方程》课程的数学软件辅助教学与实践研究，校级教改（主持，2008）；《微分方程若干计算机问题的实现》，校级开放实验室，（主研，2007）；《计算机辅助定理证明相关算法的学习与实现》（10004050030782），校级开放实验室（主持，2008）；《数学类研究生培养中管理教学科研的思路与实践》（3160603601040601），研究生教改（主研，2008）。论文：[1]TwolimitcyclesinthreedimensionalLotka-Volterrasystems，ComputerMath.Appl2002,44，51-66.（withZ.Lu）.[2]Threelimitcyclesforathree-dimensionalLotka-Volterracompetitivesystemwithaheterocliniccycle，ComputerMath.Appl2003,46，231-238.（withZ.Lu）.[3]StabilityanalysisforLotka–Volterrasystemsbasedonanalgorithmofrealrootisolation，JournalofComputationalandAppliedMathematics,Volume201,Issue2,15April2007,Pages367-373（withZ.Lu）.[4]AnalyticalsolutionofthelineardifferentialequationbyAdomiandecompositionmethod，JournalofComputationalandAppliedMathematics,2007（withY.HuandZ.Lu）.[5]Acharacteristicsetmethodforordinarydifferencepolynomialsystems，J．Symb.Comp.2009,44,242-260（withX.GaoandC.Yuan）.[6]Automaticsearchformultiplelimitcyclesinthree-dimensionalLotka–Volterracompetitivesystemswithclasses30and31inZeeman'sclassification,J.Math.AnalAppl..,2008,348,34-37（withX.LianandZ.Lu）.[7]Analgorithmofrealrootisolationforpolynomialsystemswithapplicationstotheconstructionoflimitcycles,Symb.Numb.Comp.,2007，131-147,（withB.He,Z.LuandL.Pan）.著作译著：[1]《多项式系统的实根分离算法及其应用》科学出版社,2004,（with陆征一,何碧）.[2]《进化对策与种群动力学（翻译）》四川科学技术出版社,2003.（with陆征一）。*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式