加载中…
1998-08-17
Proof of Conway's Lost Cosmological Theorem
Shalosh B. EkhadDoron Zeilberger
文献摘要
John Horton Conway’s Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本