Symbolic routes to BBP-type formulas of any degree in arbitrary bases
Kunle Adegoke · 2011
Digit extraction (BBP-Type) formulas are usually discovered through computer searches. In this paper we present two alternative approaches which lead directly to the discovery of digit extraction formulas and thus remove the burden of finding the formulas first and finding the proofs later. We give various identities which generate a wide range of digit extraction formulas of any degree, in arbitrary bases.