Wolfram Research

Structure of Euclid's Elements

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

Theorem Network from Euclid's Elements

Graph of interdependence of theorems from Euclid's Elements

Solutions to Examples of Post’s Correspondence Problem

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

Combinator Birds

Information about 50 combinator functions