# Wolfram Data Repository

Immediate Computable Access to Curated Contributed Data

Search Results

16 items

A graph of the theorems from Euclid's Elements and their logical dependencies

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

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

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

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

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).

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

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

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

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

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

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

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

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

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

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