Personal tools
You are here: Home Events Lab lunch speakers 2010 Lucas Dixon

Lucas Dixon

Quantomatic: reasoning with graphs

I'll talk about Quantomatic, a program I have been developing to aid reasoning about quantum information processing. The theory behind it builds on coherence results for Compact Closed Categories which allow them to be represented as graphs. I'll give a brief outline and then a demo of Quantomatic.

Document Actions