Verifying the smallest interesting colour code with quantomatic

Liam Garvie; Ross Duncan

doi:10.4204/EPTCS.266.10

Verifying the smallest interesting colour code with quantomatic

Liam Garvie, Ross Duncan

Research output: Contribution to journal › Conference Contribution › peer-review

14 Citations (Scopus)

55 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 language	English
Pages (from-to)	147-163
Number of pages	17
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	266
DOIs	https://doi.org/10.4204/EPTCS.266.10
Publication status	Published - 27 Feb 2018
Event	14th International Conference on Quantum Physics and Logic and IQSA Quantum Structures Workshop - Nijmegen, Netherlands Duration: 3 Jul 2017 → 7 Jul 2017

Keywords

Quantomatic case study
error detection code
error correction

Access to Document

10.4204/EPTCS.266.10Licence: CC BY-NC-ND 4.0

Garvie-Duncan-EPTCS-2017-Verifying-the-smallest-interesting-colour-code-with-quantomaticFinal published version, 553 KBLicence: CC BY-NC-ND 4.0

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 = feb,

day = "27",

doi = "10.4204/EPTCS.266.10",

language = "English",

volume = "266",

pages = "147--163",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "14th International Conference on Quantum Physics and Logic and IQSA Quantum Structures Workshop, QPL/IQSA 2017 ; Conference date: 03-07-2017 Through 07-07-2017",

}

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 - https://www.scopus.com/pages/publications/85048433148

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

AN - SCOPUS:85048433148

SN - 2075-2180

VL - 266

SP - 147

EP - 163

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 14th International Conference on Quantum Physics and Logic and IQSA Quantum Structures Workshop

Y2 - 3 July 2017 through 7 July 2017

ER -

Verifying the smallest interesting colour code with quantomatic

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this