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 | |
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