BBP-type Formula Database - Downloads and Links

List of Zero Relations - A list of zero relations generated from those in the BBP-type formula online database. Useful for those interested in searching for BBP-type formula.
[PDF] David Bailey's Compendium of BBP-type formula - Currently known results, both formal and experimental. Includes results that may not of previously appeared in literature. Serval conjectures are also mentioned.
[PDF] Jon Borwein's Pi Day Talk (2011) - "The Life of Pi: History and Computation a Talk for Pi Day" presented at the University of Technology Sydney.
CARMA Homepage - Priority Research Centre for Computer-Assisted Research Mathematics and its Applications.
Inverse Symbolic Calculator - Uses lookup tables and integer relation algorithms in order to associate with a user-defined, truncated decimal expansion a closed form representation for the real number.
Jon Borwein's Homepage - Jon Borewin's personal homepage.
David Bailey's Homepage - David Bailey's personal homepage.
Maths Resources Portal - A list of useful mathematical tools.