What Is Reality? - The Homepage of Andrew Thomas. Www.roadsolutions.ox.ac.uk. James Binney's Lectures. The Lectures The Player Welcome to the Video Lectures of the 2nd Yr Quantum Mechanics Course.
Leonard Susskind. Quantomatic. Overview Recent graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations.
However, manual manipulation of such graphs is slow and error prone. This project employs a formalism, based on compact closed categories, that supports mechanised reasoning about such graphs. This gives a compositional account of graph rewriting that preserves the underlying categorical semantics. Using this representation, we are developing a generic system with a fixed logical kernel that supports reasoning about models of compact closed category.