Archives: Page 46

The Code Book (Simon Singh)

A Traditional Adjacency Matrix

Onward, to a less nonsensical visualisation!

Logic, modal and otherwise.

Java Programming Language

Automated Deduction Image Gallery

Alternative Relations on Graphs

Alternative Visualizations and Pseudo-semantic Orderings

Summer Project

A Radial Layout

My first approach at generating a radial layout of the graph data logged by the theorem prover.