HORTON

swMATH11647MaRDI QIDQ23587FDOQ23587

Author name not available (Why is that?)

Official website: http://www.math.rutgers.edu/~zeilberg/programs.html

Described by source

• Proof of Conway’s lost cosmological theorem

Cited In (1)

• The Kolakoski sequence and related conjectures about orbits

This page was built for software: HORTON