A Novel Approach to the Discovery of Binary BBP-Type Formulas for Polylogarithm Constants

Abstract

Abstract.Using a clear and straightforward approach, we discover and prove new binary digit extraction BBP-type formulas for polylogarithm constants. Some known results are also rediscovered in a more direct and elegant manner. Numerous experimentally discovered and hitherto unproved binary BBP-type formulas are also proved.