Given two linear di erential systems with rational function coe cients, we give an algorithm to decide whether these two systems are equivalent and to compute the corresponding transformation matrices.Expand

We propose a method for computing the regular singular formal solutions of a linear differential system in the neighbourhood of a singular point.Expand

The notion of irreducible forms of systems of linear differential equations with formal power series coefficients as defined by Moser [Moser, J., 1960. The order of a singularity in Fuchs' theory.… Expand

In this paper, we give a new algorithm for computing, given an arbitrary linear differential system with formal power series coefficients as input, an equivalent system which is super-irreducible.Expand

This paper presents a case study of an EU healthcare research project “WELCOME” and evaluates the privacy aspects of this project with regards to the privacy requirements of the GDPR.Expand

An efficient algorithm conlputing the z-espansiou of the eigcnvalucs in Laurent-Puiseux series is provided, for the computation of the characteristic polynomial is not rccluired.Expand