Verifying the Smallest Interesting Colour Code with Quantomatic

Liam Garvie, Ross Duncan

In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detecting code.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment