Creative telescoping for rational functions using the griffiths

Alin Bostan, Pierre Lairez, Bruno Salvy
2013 Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13  
Creative telescoping algorithms compute linear differential equations satisfied by multiple integrals with parameters. We describe a precise and elementary algorithmic version of the Griffiths-Dwork method for the creative telescoping of rational functions. This leads to bounds on the order and degree of the coefficients of the differential equation, and to the first complexity result which is simply exponential in the number of variables. One of the important features of the algorithm is that
more » ... t does not need to compute certificates. The approach is vindicated by a prototype implementation.
doi:10.1145/2465506.2465935 dblp:conf/issac/BostanLS13 fatcat:i3zxw62hdbbppnuvjpbx4nsc4i