活動時間：19:00-21:00

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

地點：長安校區(qū) 文津樓三段3505室

主辦單位：計算機科學學院 非線性科學與符號計算實驗室

講座人簡介：

柳銀萍，華東師范大學數(shù)學科學學院教授，博士研究生導師，在國內(nèi)較早開始了微分方程領域的數(shù)學機械化研究工作。近二十年來主要圍繞非線性微分系統(tǒng)解析解的構造算法、非線性演化方程可積性質(zhì)的分析演算算法及軟件研發(fā)開展了一系列創(chuàng)新性的研究工作。主持過國家自然科學基金面上項目和上海市自然科學基金項目等；作為骨干先后參與973 項目子課題、國家自然科學基金重點項目等。發(fā)表學術論文近50 篇，其中SCI 檢索論文40 余篇。

講座題目一：高維非線性演化方程高階波解的構造算法及自動推導

講座內(nèi)容：主要介紹若干高維非線性演化方程高階孤子解、周期解、有理解及不同類型高階相互作用解的構造算法、自動交互平臺構建及相關創(chuàng)新工作。

講座題目二：非線性微分系統(tǒng)的在線計算和智能平臺構建

講座內(nèi)容：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.