# Proof of Conway's Lost Cosmological Theorem

- Published in 1998
- Added on

In the collections

John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.

## Links

## Other information

- key
- ProofofConwaysLostCosmologicalTheorem
- type
- article
- date_added
- 2017-07-26
- date_published
- 1998-06-10

### BibTeX entry

@article{ProofofConwaysLostCosmologicalTheorem, key = {ProofofConwaysLostCosmologicalTheorem}, type = {article}, title = {Proof of Conway's Lost Cosmological Theorem}, author = {Shalosh B. Ekhad and Doron Zeilberger}, abstract = {John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.}, comment = {}, date_added = {2017-07-26}, date_published = {1998-06-10}, urls = {http://arxiv.org/abs/math/9808077v1,http://arxiv.org/pdf/math/9808077v1}, collections = {Attention-grabbing titles,Basically computer science,Easily explained,The act of doing maths,About proof}, url = {http://arxiv.org/abs/math/9808077v1 http://arxiv.org/pdf/math/9808077v1}, urldate = {2017-07-26}, archivePrefix = {arXiv}, eprint = {math/9808077}, primaryClass = {math.CO}, year = 1998 }