Differential Equations with Symbolic Computation [electronic resource] / edited by Dongming Wang, Zhiming Zheng.

Symbolic Computation of Lyapunov Quantities and the Second Part of Hilberts Sixteenth Problem -- Estimating Limit Cycle Bifurcations from Centers -- Conditions of Infinity to be an Isochronous Center for a Class of Differential Systems -- Darboux Integrability and Limit Cycles for a Class of Polynomial Differential Systems -- Time-Reversibility in Two-Dimensional Polynomial Systems -- On Symbolic Computation of the LCE of N-Dimensional Dynamical Systems -- Symbolic Computation for Equilibria of Two Dynamic Models -- Attractive Regions in Power Systems by Singular Perturbation Analysis -- Algebraic Multiplicity and the PoincarȨ Problem -- Formalizing a Reasoning Strategy in Symbolic Approach to Differential Equations -- Looking for Periodic Solutions of ODE Systems by the Normal Form Method -- Algorithmic Reduction and Rational General Solutions of First Order Algebraic Differential Equations -- Factoring Partial Differential Systems in Positive Characteristic -- On the Factorization of Differential Modules -- Continuous and Discrete Homotopy Operators and the Computation of Conservation Laws -- Partial and Complete Linearization of PDEs Based on Conservation Laws -- CONSLAW: A Maple Package to Construct the Conservation Laws for Nonlinear Evolution Equations -- Generalized Differential Resultant Systems of Algebraic ODEs and Differential Elimination Theory -- On ǣGoodǥ Bases of Algebraico-Differential Ideals -- On the Construction of Groebner Basis of a Polynomial Ideal Based on RiquierJanet Theory.