某些无限连分数无穷族精确值的自动猜想与证明
Automatic Conjecturing and Proving of Exact Values of Some Infinite Families of Infinite Continued Fractions
摘要:
受到Raayoni等人最近的开创性工作的启发,被称为“拉马努金机器”(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.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。