Second method of Lyapunov for stability of linear impulsive differential-difference equations with variable impulsive perturbations.
For a system of linear ordinary differential equations with constant coefficients a simple proof is given that hyperbolicity is equivalent to shadowing.
The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006We produce a parallel algorithm realizing the Laplace transform method for the symbolic solving of differential equations. In this paper we consider systems of ordinary linear differential equations with constant coefficients, nonzero initial conditions and right-hand parts reduced to sums of exponents with polynomial coefficients.