Proof of Wolfram's Axiom for Boolean Algebra

Steps in an automated proof of the correctness of Wolfram’s Axiom

Cover Image from A New Kind of Science

The cellular automaton evolution shown on the cover of Stephen Wolfram’s A New Kind of Science

Full Text of A New Kind of Science

The full text of Stephen Wolfram’s A New Kind of Science

Persistent Structures in the Code 357 Cellular Automaton

A collection of the persistent structures in the k=3, r=1 totalistic code 357 cellular automaton

Gliders in 2D Cellular Automata

A 2D cellular automaton glider compilation by David Eppstein

Books in Stephen Wolfram's Library

Books in Stephen Wolfram’s library that were used during the creation of A New Kind of Science (Wolfram, 2002).

Persistent Structures in the Code 20 Cellular Automaton

The known persistent structures in the k=2, r=2 totalistic code 20 cellular automaton

Persistent Structures in the Code 1329 Cellular Automaton

A collection of the persistent structures in the k=3, r=1 totalistic code 1329 cellular automaton

Persistent Structures in Rule 110

The known families of persistent structures in the Rule 110 elementary cellular automaton

The Silver Game of Life Lexicon

Famous Game of Life configurations collected by Stephen A. Silver

Repetition Periods for Elementary Cellular Automata

A collection of rules and their repetition periods as a function of size

Orbits of a Planet in a Binary Star System

A collection of orbits for an idealized planet in a binary star system

Arecibo Telescope 1974 Transmitted SETI Message

A sequence intended for communication with extraterrestrial intelligence, transmitted in 1974 from the Arecibo radio telescope

Linear Codes

Linear codes provide an optimal way for transmitting blocks of data over noisy channels

Published Papers Per Year on Cellular Automata

A time series of the number of papers published on cellular automata by year from 1974 through 2015

Minimal Inequivalent Square Tilings

A dataset of images and constraints for the minimal inequivalent square tilings, along with the allowed tiles that generate the tiling

Primitive Polynomials

Primitive polynomials for Galois field generation up to GF(2^1200), GF(3^660), GF(5^430), and GF(7^358)

People Mentioned in Stephen Wolfram’s “A New Kind of Science”

Listing of all people mentioned in historical and other notes in “A New Kind of Science”

Entity Store of Books in Stephen Wolfram's Library

An entity store of books in Stephen Wolfram’s library that were used during in the creation of A New Kind of Science (Wolfram, 2002).

Mrs. Perkins's Quilts

Divide a square into a minimum number of integer-sided squares with a relatively prime subset

Block Simulation Network of Elementary Cellular Automata

A network showing how one elementary cellular automaton can emulate another if its states contain only particular blocks

Three-Color Cellular Automaton Rules that Double Their Input

A list of rules for k=3 cellular automata that eventually double a block of gray input cells

Solutions to Examples of Post’s Correspondence Problem

A dataset of instances and solutions (if they exist) for Post’s correspondence problem

A Million Bits of the Center Column of the Rule 30 Cellular Automaton

The center column of the rule 30 center automaton over a million steps of evolution

Entity Store of People Mentioned in Stephen Wolfram's A New Kind of Science

An entity store of all people mentioned in historical and other notes in “A New Kind of Science”

Timeline of Systematic Data & Computable Knowledge

Dataset of nearly 200 notable events in the history of computable knowledge