Recent work on differential Galois theory
The Euler-MacLaurin summation formula compares the sum of a function over the lattice points of an interval with its corresponding integral, plus a remainder term. The remainder term has an asymptotic expansion, and for a typical analytic function, it is a divergent (Gevrey-1) series. Under some decay assumptions of the function in a half-plane (resp. in the vertical strip containing the summation interval), Hardy (resp. Abel-Plana) prove that the asymptotic expansion is a Borel summable series,...