• Publications
  • Influence
Euler Sums and Contour Integral Representations
TLDR
This paper develops an approach to the evaluation of Euler sums that involve harmonic numbers, either linearly or nonlinearly. Expand
  • 229
  • 48
  • PDF
Varieties of Increasing Trees
TLDR
An increasing tree is a labelled rooted tree in which labels along any branch from the root go in increasing order. Expand
  • 211
  • 36
GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable
TLDR
We describe the GFUN package which contains functions for manipulating sequences, linear recurrences, or differential equations and generating functions of various types. Expand
  • 365
  • 30
A Gröbner Free Alternative for Polynomial System Solving
TLDR
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
  • 268
  • 26
  • PDF
Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities
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. InExpand
  • 247
  • 26
Non-D-finite excursions in the quarter plane
TLDR
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
  • 63
  • 13
  • PDF
Motif statistics
TLDR
We present a complete analysis of the statistics of number of occurrences of a regular expression pattern in a random text. Expand
  • 92
  • 9
  • PDF
On the complexity of Gröbner basis computation of semi-regular overdetermined algebraic equations
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
  • 207
  • 8
  • PDF
Automatic Average-Case Analysis of Algorithm
TLDR
This paper presents a general framework in which such decision procedures can be developed. Expand
  • 128
  • 8
On integer Chebyshev polynomials
TLDR
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
  • 28
  • 8
  • PDF
...
1
2
3
4
5
...