Many computations involving special functions, combinatorial sequences or theirq-analogues can be performed using linear operators and simple arguments on the dimension of related vector spaces. In… Expand

We give effective algorithms which check whether or not a linear control system over some Ore algebra is controllable, parametrizable, flat or π-free.Expand

In the seventies, the study of transfer matrices of time-invariant linear systems of ordinary differential equations (ODEs) led to the development of the polynomial approach [20, 22, 44]. In… Expand

Creative telescoping is an algorithmic principle that has been developed since the 1990s in combinatorics and computer algebra in order to compute with parametrised sums and integrals, whether it be to find explicit forms or to justify identities in sums or integrals.Expand

We give a randomized algorithm in deterministic time O(Nlog M) for estimating the score vector of matches between a text string of length N and a patternstring of length M, and the number of matches is counted for each position.Expand

Cette these montre comment le calcul formel permet la manipulation d'une grande classe de suites et fonctions solutions d'operateurs lineaires, la classe des fonctions holonomes. Celle-ci contient de… Expand

It is known that multiplication of linear differential operators over ground fields of characteristic zero can be reduced to a constant number of matrix products.Expand