 In recent years, these techniques have allowed giving automated proofs of a large number of special function and combinatorial identities.Moreover, there exist fast algorithms for evaluating holonomic functions to arbitrary precision at any point in the complex plane, and for numerically computing any entry in a holonomic sequence.Software for working with holonomic functions includes