Inspired by the recent pioneering work, dubbed “The Ramanujan Machine” by Raayoni et al. (The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants. arXiv preprint. arXiv:1907.00205, 2019), 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 to prove them rigorously.

受最近的开创性工作启发，Raayoni等人将其称为“ The Ramanujan Machine”。（Ramanujan机器：基本常数上的自动生成的猜想。arXiv预印本。arXiv：1907.00205，2019年），我们（自动）[严格]证明了他们对某些特定无限连续分数的精确值的某些猜想，并将其概括化以进行评估无限的家庭（自然地概括了他们的家庭）。我们的工作是对它们漂亮方法的补充，因为我们使用符号计算而不是数值计算，并且指示计算机不仅发现这种评估，而且还要严格地证明它们。