论文标题
自动猜想和证明某些无限族的精确值持续分数
Automatic Conjecturing and Proving of Exact Values of Some Infinite Families of Infinite Continued Fractions
论文作者
论文摘要
受到Raayoni等人被称为“ Ramanujan Machine”的最新开拓性工作的启发。 （Arxiv：1907.00205），我们（自动）[严格地]证明了他们关于某些特定无限持续分数的确切值的一些猜想，并将其推广以评估无限的家族（自然而然地概括了他们的家族）。我们的工作补充了他们美丽的方法，因为我们使用符号而不是数字计算，并且我们指示计算机不仅发现此类评估，而且还严格证明它们。
Inspired by the recent pioneering work, dubbed "The Ramanujan Machine" by Raayoni et al. (arXiv:1907.00205), we (automatically) [rigorously] prove some of their conjectures regarding the exact values of some specific infinite continued fractions, and generalize them to evaluate infinite families (naturally generalizing theirs). Our work complements their beautiful approach, since we use symbolic rather than numeric computations, and we instruct the computer to not only discover such evaluations, but at the same time prove them rigorously.
