Verifying the smallest interesting colour code with quantomatic

Liam Garvie, Ross Duncan

Research output: Contribution to journalConference Contribution

5 Citations (Scopus)
13 Downloads (Pure)

Abstract

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

Original languageEnglish
Pages (from-to)147-163
Number of pages17
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume266
DOIs
Publication statusPublished - 27 Feb 2018
Event14th International Conference on Quantum Physics and Logic and IQSA Quantum Structures Workshop - Nijmegen, Netherlands
Duration: 3 Jul 20177 Jul 2017

Keywords

  • Quantomatic case study
  • error detection code
  • error correction

Fingerprint Dive into the research topics of 'Verifying the smallest interesting colour code with quantomatic'. Together they form a unique fingerprint.

  • Cite this