We describe the GFUN package which contains functions for manipulating sequences, linear recurrences, or differential equations and generating functions of various types.Expand

We give a new codification of the set of solutions of a positive dimensional algebraic variety relying on a new global version of Newton's iterator.Expand

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 prove that the sequence (e"n^S)"n">="0 of numbers of excursions in the quarter plane corresponding to a nonsingular step set S@?{0,+/-1}^2 with infinite group does not satisfy any nontrivial linear recurrence with polynomial coefficients.Expand

We extend the notion of regular sequence ([Mac16]) to overdetermined system of algebraic equations. We study generic properties of Grobner bases and analyse precisely the behavior of the F5 [Fau02]… Expand

We are concerned with the problem of minimizing the supremum norm on [O, 1] of a nonzero polynomial of degree at most n with integer coefficients.Expand