活动类别：学术讲座

活动时间：19:00-21:00

活动日期：2019-11-11，星期一

地点：长安校区 文津楼三段3505室

主办单位：计算机科学学院 非线性科学与符号计算实验室

讲座人简介：

柳银萍，华东师范大学数学科学学院教授，博士研究生导师，在国内较早开始了微分方程领域的数学机械化研究工作。近二十年来主要围绕非线性微分系统解析解的构造算法、非线性演化方程可积性质的分析演算算法及软件研发开展了一系列创新性的研究工作。主持过国家自然科学基金面上项目和上海市自然科学基金项目等；作为骨干先后参与973 项目子课题、国家自然科学基金重点项目等。发表学术论文近50 篇，其中SCI 检索论文40 余篇。

讲座题目一：高维非线性演化方程高阶波解的构造算法及自动推导

讲座内容：主要介绍若干高维非线性演化方程高阶孤子解、周期解、有理解及不同类型高阶相互作用解的构造算法、自动交互平台构建及相关创新工作。

讲座题目二：非线性微分系统的在线计算和智能平台构建

讲座内容：A Web-based knowledge database and computing platform for nonlinear differential equations is introduced, which could provide computing and graphing based on symbolic computing system Maple and some of its built-in packages. Users can not only calculate specific types of analytical solutions of nonlinear differential systems by calling the packages, but also carry out any symbolic computations associated with equations and other kinds of simple computations in an interactive mode with visual output. The knowledge database of differential equations has all functions of the general database. Furthermore, each equation has a web page to show its properties and research results. In addition, each mathematical formula is stored in its infix form in the knowledge database and can be displayed visually.