A novel approach to the discovery of ternary BBP-type formulas for polylogarithm constants

Abstract

Using a clear and straightforward approach, we prove new ternary (base 3) digit extraction BBP-type formulas for polylogarithm constants. Some known results are also rediscovered in a more direct and elegant manner. A previously unproved degree~4 ternary formula is also proved. Finally, a couple of ternary zero relations are established, which prove two known but hitherto unproved formulas.