The method of differentiating under the integral sign

This publication has 11 references indexed in Scilit:

• A maple program that finds, and proves, recurrences and differential equations satisfied by hyperexponential definite integrals
  ACM SIGSAM Bulletin, 1991
• A holonomic systems approach to special functions identities
  Journal of Computational and Applied Mathematics, 1990
• Towards computerized proofs of identities
  Bulletin of the American Mathematical Society, 1990
• A fast algorithm for proving terminating hypergeometric identities
  Discrete Mathematics, 1990
• The diagonal of a D-finite power series is D-finite
  Journal of Algebra, 1988
• Some algorithmic questions on ideals of differential operators
  Lecture Notes in Computer Science, 1985
• Some Hermite polynomial identities and their combinatorics
  Advances in Applied Mathematics, 1981
• A combinatorial proof of the Mehler formula
  Journal of Combinatorial Theory, Series A, 1978
• Decision procedure for indefinite hypergeometric summation
  Proceedings of the National Academy of Sciences, 1978
• The solution of the problem of integration in finite terms
  Bulletin of the American Mathematical Society, 1970