Wolfram Research
Cellular automata
Cellular automaton
A New Kind of Science
Turing machine
Stephen Wolfram
Complex Systems
Rule 110
Matthew Cook
Science
Mathematical software
Software