Part 1 How to use a computer algebra system introduction features of computer algebra systems syntax of the associated languages areas covered by existing systems computer algebra by example MACSYMA's possibilities in algebra general possibilities the division of the circle into 17 equal parts availability of MACSY MA other systems AXIOM.Expand

The algorithm DELIRE (Linear Differential Equation Irregular and REgular singularities) presented in this paper gives the formal solutions (normal and sub-normal) at an irregular singular point of a linear homogeneous differential operator, whose coefficients are formal Puiseux series.Expand

This paper presents an algorithm for building a fundamental system of formal solutions in the neighbourhood of every singularity of a linear homogenous differential operator.Expand

In this paper we describe an algorithm for finding an algebraic form for a solution of a system of linear differential equations with constant coefficients, using the properties of elementary divisors of a polynomial matrix.Expand

In the first part of this paper we will give a short historical survey of the field of hybrid systems, a precise definition of a hybrid system and some comments on the definition.Expand

1. Motivation and introduction to the theory of D-modules B. Malgrange 2. D-modules, an overview towards effectivity Ph. Maisonobe 3. Introduction to the Ecalle theory E. Delabaere 4. Perturbation… Expand