Three-term Machin-type formulae
arXiv:1811.09273
Abstract
We shall show that there exist only finitely many nondegenerate three-term Machin-type formulae and give explicit upper bounds for the sizes of variables.
24 pages, some errors corrected, calcuation based on another preprint arXiv:1906.00419, see https://tyamada1093.web.fc2.com/math/files/deq0014revision.txt