Wolfram Research

Timeline of Systematic Data & Computable Knowledge

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

Sample Data: Fisher's Irises

Fisher's iris data

Theorem Network from Euclid's Elements

Graph of interdependence of theorems from Euclid's Elements

Structure of Euclid's Elements

Textual information of definitions, common notions, postulates, and theorems from Euclid’s Elements

Expanded Computational Geometry Graph

WWW Graph of Computational Geometry for Link Analysis Ranking Experiments

Refined Computational Geometry Graph

WWW Graph of Computational Geometry for Link Analysis Ranking Experiments

Refined Computational Complexity Graph

WWW Graph of Computational Complexity for Link Analysis Ranking Experiments

Regular Computational Complexity Graph

WWW Graph of Computational Complexity for Link Analysis Ranking Experiments

Regular Computational Geometry Graph

WWW Graph of Computational Geometry for Link Analysis Ranking Experiments

Famous 2D Cellular Automata

Well-known 2D cellular automata are listed, such as Conway’s Game of Life

Polyform Database

Data for some of the most popular polyforms

Solutions of the Loculus of Archimedes

The 536 distinct solutions for the Loculus of Archimedes

Sample Data: Channing House

The use of counting process methodology has allowed for substantial advances in the statistical theory to account for censoring and truncation in survival experiments. This book makes these complex methods more access...

Sample Data: Larynx Cancer

The use of counting process methodology has allowed for substantial advances in the statistical theory to account for censoring and truncation in survival experiments. This book makes these complex methods more access...

General Topology EntityStore

Textbook

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

Proof of Wolfram's Axiom for Boolean Algebra

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

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

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

Repetition Periods for Elementary Cellular Automata

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

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

Cunningham Number Factorizations

Numbers of the form b^n-1 and b^n+1 are factored for small prime bases b={2,3,5,7}

Australian Rules Football - 2018 Final Team Rankings

This dataset consists of the final team standing within the Australian Rules Football league for the 2018 season

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

Primitive Polynomials

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

The Silver Game of Life Lexicon

Famous Game of Life configurations collected by Stephen A. Silver

Canonical Polyhedra

The canonical forms of polyhedra with 4 to 9 faces

Second DIMACS Sanchis Graph 6

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 10

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 4

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 3

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 14

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 1

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 11

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 13

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 9

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 7

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 8

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 2

The Second DIMACS Implementation Challenge: 1992-1993

Second DIMACS Sanchis Graph 15

The Second DIMACS Implementation Challenge: 1992-1993

Linear Codes

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

Irish-Viking Networks in 'Cogadh Gaedhel re Gallaibh'

Graph datasets for Irish and Viking character relationships in the medieval Irish text 'Cogadh Gaedhel re Gallaibh' ('The War of the Gaedhil with the Gaill')

Sample Data: Scottish Hill Races

Record times in Scottish hill races

Prussian Horse Kick Data

Number of soldiers in the Prussian cavalry killed by horse kicks