The paper deals with stiff systems of differential equations. To solve this sort of system numerically is a diffult task. In spite of the fact that we come across stiff systems quite often in the common practice, a very interesting and promissing numerical method of solving systems of ordinary differential equations (ODE) based on Taylor series has appeared. The question was how to harness the ...

Many models in Systems Biology are described as a system of Ordinary Differential Equations, which allows for transient, steady-state or bifurcation analysis when kinetic information is available. Complementary structure-related qualitative analysis techniques have become increasingly popular in recent years, like qualitative model checking or pathway analysis (elementary modes, invariants, flu...

In this paper we propose a class of second derivative multistep methods for solving some well-known classes of LaneEmden type equations which are nonlinear ordinary differential equations on the semi-infinite domain. These methods, which have good stability and accuracy properties, are useful in deal with stiff ODEs. We show superiority of these methods by applying them on the some famous Lane-...

The paper deals with stiff systems of differential equations. To solve this sort of system numerically is a diffult task. In spite of the fact that we come across stiff systems quite often in the common practice, a very interesting and promissing numerical method of solving systems of ordinary differential equations (ODE) based on Taylor series has appeared. The question was how to harness the ...

Implicit Runge-Kutta(IRK) methods for solving the nonsmooth ordinary differential equation (ODE) involve a system of nonsmooth equations. We show superlinear convergence of the slanting Newton method for solving the system of nonsmooth equations. We prove the slanting differentiability and give a slanting function for the involved function. We develop a new code based on the slanting Newton met...

Matlab has facilities for the numerical solution of ordinary differential equations (ODEs) of any order. In this document we first consider the solution of a first order ODE. Higher order ODEs can be solved using the same methods, with the higher order equations first having to be reformulated as a system of first order equations. Techniques for solving the first order and second order equation...

This thesis presents a robust method for evaluating differential geometry properties of sculptured surfaces by using a validated ordinary differential equation (ODE) system solver based on interval arithmetic. Iso-contouring of curvature of a Bezier surface patch, computation of curvature lines of a Bezier surface patch and computation of geodesics of a Bezier surface patch are computed by the ...

We demonstrate an automated method for proving temporal logic statements about solutions to ordinary differential equations (ODES), even in the face of an incomplete specification of the ODE. The method combines an implemented, on-the-fly, model checking algorithm for statements in the temporal logic CTL* with the output of the qualitative simulation algorithm QSIM. Based on the QSIM Guaranteed...

In this work we consider a given root of family n-degree polynomials as one-variable function that depends only on the independent term. Then prove satisfies several ordinary differential equations (ODE). More concretely, it simple separated variables ODE, first order generalized Abel ODE degree n−1 and an (n−1)-th linear ODE. Although some our results are not new, approach is self-contained. F...