@article{oai:tsukuba.repo.nii.ac.jp:02001720,
 author = {高橋, 大介 and TAKAHASHI, Daisuke},
 issue = {1},
 journal = {The Ramanujan Journal},
 month = {Jan},
 note = {In this paper, we propose two Bailey–Borwein–Plouffe (BBP)-type formulas for π. We show that computation and verification of π using the two different BBP-type formulas require 20% fewer terms than verification by shifting the starting position of a few hexadecimal digits of π using Huvent’s formula, which is known as the BBP-type formula with the least number of terms.},
 pages = {177--186},
 title = {On the computation and verification of π using BBP-type formulas},
 volume = {51},
 year = {2020},
 yomi = {タカハシ, ダイスケ}
}