SYMBOLIC COMPUTATION FOR THE QUALITATIVE THEORY OF DIFFERENTIAL EQUATIONS

作     者：Bo HUANG Wei NIU Dongming WANG 黄博;牛薇;王东明

作者机构：LMIB-School of Mathematical SciencesBeihang UniversityBeijing 100191China Ecole Centrale de PekinBeihang UniversityBeijing 100191China Beihang Hangzhou Innovation Institute YuhangHangzhou 310051China Centre National de la Recherche Scientifique75794 Paris Cedea 16France 

出 版 物：《Acta Mathematica Scientia》 (数学物理学报（B辑英文版）)

年 卷 期：2022年第42卷第6期

页      面：2478-2504页

核心收录：

学科分类：07[理学] 070104[理学-应用数学] 0701[理学-数学] 

基　　金：The work was partially supported by the National Natural Science Foundation of China(12101032,12131004 and 11601023) Ministry of Science and Technology of China(2021YFA1003600) Beijing Natural Science Foundation(1212005) 

主　　题：biological systems center-focus limit cycles qualitative analysis symbolic computation 

摘      要：This paper provides a survey on symbolic computational approaches for the analysis of qualitative behaviors of systems of ordinary differential equations,focusing on symbolic and algebraic analysis for the local stability and bifurcation of limit cycles in the neighborhoods of equilibria and periodic orbits of the systems,with a highlight on applications to computational biology.