2005/05/05 by Jonathan M. Borwein, David M. Bradley
Mathematics · #math.CA #math.NT #msc:11M06
published as SIGSAM Bulletin of Symbolic and Algebraic Manipulation, Association of Computing Machinery, Vol. 30, No. 2, Issue 116, June 1996, pp. 2--7 · 6 pages, AMSTeX
arxiv created 2005/05/05 · arxiv updated 2009/12/01
We discuss some aspects of the search for identities using computer algebra and symbolic methods. The focus is on so-called Apery-like formulae for special values of the Riemann Zeta function. Much work lays ahead in formally proving and properly classifying many of the identities we have uncovered.