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.