Abstract
We provide a simple way of searching for formulas of the Bailey–Borwein–Plouffe type together with an algorithm and an implementation in sage. Aside from rediscovering some already known formulas, the method has been used in the discovery of a new BBP-type formula for 3π. In addition, the implementation is very flexible and allows us to look for BBP-type formulas to irrational bases. As an example of this, searching in various Pisot bases, we have discovered a formula for π in base 1+3, along with additional formulas.
Original language | English |
---|---|
Journal | Journal of Number Theory |
Volume | 244 |
Pages (from-to) | 251-263 |
Number of pages | 13 |
ISSN | 0022-314X |
DOIs | |
Publication status | Published - Mar 2023 |
Keywords
- BBP-type formulas
- Formulas for π
- Null formulas