Series Evaluations via Identities/Transformation Formulae for Special Functions

Abstract. We discuss some remarkable infinite series identities, many of which were discovered experimentally using human-directed computer searches, before being proved. These include series evaluations for certain multiple zeta values, Euler sums, values of the Riemann zeta function, and Catalan's constant. Many of these results have subsequently been proved via identities and or transformation formulae for various special functions. Some open problems and conjectures will also be presented.