Three-term Machin-type formulae
Tomohiro Yamada
TL;DR
This paper proves that only finitely many nondegenerate three-term Machin-type formulae exist and provides explicit bounds on the sizes of their variables.
Contribution
It establishes the finiteness of such formulae and derives explicit upper bounds for the variables involved.
Findings
Finiteness of nondegenerate three-term Machin-type formulae.
Explicit upper bounds for the variables in these formulae.
Mathematical proof of the finiteness result.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Algebraic Geometry and Number Theory · Polynomial and algebraic computation