![Sample our Computer Science journals, sign in here to start your access, latest two full volumes FREE to you for 14 days]({"type":"image" , "src" : "/sda/5928/TOC-Subject-Sample-2021-Computer-Science.jpg"})
Abstract
The applications of symbolic manipulation methods based on algebraic equation solving theory are extended to a class of non-algebraic objects, called analytic equalities, for finding algorithmic solutions to some mathematical problems related to nonlinear dynamics. A symbolic manipulation method for analytic equalities is established, based on which an algorithm for constructing necessary conditions for analytic equality sets is developed to mechanically derive some unknown relations. As an example, the method is used to compute the Lyapunov Characteristic Exponent (LCE) of the chaotic attractor of Van der Pol equation. Instead of numerically computing the LCE, we try to find its dependence on the system parameters by symbolic manipulation. Combining our result on the LCE with related qualitative results on the system, we get some conclusions on the system behavior.
Keywords:
Research supported by the National 863 Project and the NSF of China.
Research supported by the National 863 Project and the NSF of China.
Notes
Research supported by the National 863 Project and the NSF of China.