Wolfram Data Repository
Immediate Computable Access to Curated Contributed Data
Search Results
“a new kind of science”
16 items
Theorem Network from Euclid's Elements
A graph of the theorems from Euclid's Elements and their logical dependencies
Categories:
Repetition Periods for Elementary Cellular Automata
A collection of rules and their repetition periods as a function of size
Categories:
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 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”
Categories:
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).
Categories:
Keywords:
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).
Categories:
Keywords:
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
Categories:
Keywords:
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
Categories:
Persistent Structures in the Code 20 Cellular Automaton
The known persistent structures in the k=2, r=2 totalistic code 20 cellular automaton
Categories:
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
Categories:
Orbits of a Planet in a Binary Star System
A collection of orbits for an idealized planet in a binary star system
Categories:
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
Categories:
Solutions to Examples of Post’s Correspondence Problem
A dataset of instances and solutions (if they exist) for Post’s correspondence problem
Persistent Structures in Rule 110
The known families of persistent structures in the Rule 110 elementary cellular automaton
Categories:
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
Proof of Wolfram's Axiom for Boolean Algebra
Steps in an automated proof of the correctness of Wolfram’s Axiom