寻找神秘式的奇迹[使用,Inter-Alia,惊人的Almkvist-Zeilberger算法]
Searching for Apery-Style Miracles [Using, Inter-Alia, the Amazing Almkvist-Zeilberger Algorithm]
摘要:
罗杰·阿维尼翁证明非理性的开创性方法被“颠倒过来”,并被教授给计算机,使zeta(3)的原始证明能够在一秒钟内还原,并对许多新常数进行了许多新的非理性证明,唉,它们中没有一个既著名又尚未被证明是非理性的。
英文摘要:
Roger Apery's seminal method for proving irrationality is "turned on its head" and taught to computers, enabling a one second redux of the original proof of zeta(3), and many new irrationality proofs of many new constants, alas, none of them is both famous and not-yet-proved-irrational.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。