Verifying the smallest interesting colour code with quantomatic

Liam Garvie, Ross Duncan

Research output: Contribution to journalConference Contribution

5 Citations (Scopus)

Abstract

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

Fingerprint

Color codes
Error detection

Keywords

  • Quantomatic case study
  • error detection code
  • error correction

Cite this

@article{a950c05bc6104b7296353f9790b0ef91,
title = "Verifying the smallest interesting colour code with quantomatic",
abstract = "In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detection code.",
keywords = "Quantomatic case study, error detection code, error correction",
author = "Liam Garvie and Ross Duncan",
year = "2018",
month = "2",
day = "27",
doi = "10.4204/EPTCS.266.10",
language = "English",
volume = "266",
pages = "147--163",
journal = "Electronic Proceedings in Theoretical Computer Science",
issn = "2075-2180",

}

Verifying the smallest interesting colour code with quantomatic. / Garvie, Liam; Duncan, Ross.

In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 266, 27.02.2018, p. 147-163.

Research output: Contribution to journalConference Contribution

TY - JOUR

T1 - Verifying the smallest interesting colour code with quantomatic

AU - Garvie, Liam

AU - Duncan, Ross

PY - 2018/2/27

Y1 - 2018/2/27

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

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

KW - Quantomatic case study

KW - error detection code

KW - error correction

UR - http://www.scopus.com/inward/record.url?scp=85048433148&partnerID=8YFLogxK

UR - https://arxiv.org/abs/1706.02717v2

UR - http://eptcs.web.cse.unsw.edu.au/content.cgi?QPL2017

U2 - 10.4204/EPTCS.266.10

DO - 10.4204/EPTCS.266.10

M3 - Conference Contribution

VL - 266

SP - 147

EP - 163

JO - Electronic Proceedings in Theoretical Computer Science

T2 - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -