Verifying the Steane code with Quantomatic

Duncan, Ross and Lucas, Maxime (2014) Verifying the Steane code with Quantomatic. Electronic Proceedings in Theoretical Computer Science, 171. pp. 33-49. ISSN 2075-2180 (https://doi.org/10.4204/EPTCS.171.4)

Preview

Text. Filename: Duncan_Lucas_EPTCS_2014_Verifying_the_Steane_code.pdf Accepted Author Manuscript License: Download (333kB)| Preview

Abstract

In this paper we give a partially mechanized proof of the correctness of Steane's 7-qubit error correcting code, using the tool Quantomatic. To the best of our knowledge, this represents the largest and most complicated verification task yet carried out using Quantomatic.

ORCID iDs

Duncan, Ross ORCID: https://orcid.org/0000-0001-6758-1573

• Share and Export
  

  RefWorksRIS (EndNote Online, Zotero, Ref manager, etc)RDF+XMLEndNoteASCII CitationOpenURL ContextObject in SpanMPEG-21 DIDLRIOXX2 XMLBibTeXAtomEP3 XMLDublin CoreRDF+N-TriplesMODSHTML CitationJSONData Cite XMLRDF+N3Multiline CSVOpenURL ContextObjectReferSimple MetadataMETS
• Item metadata

  Item type:	Article
  ID code:	54791
  Dates:	Date Event 27 December 2014 Published
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Pure Administrator
  Date deposited:	11 Dec 2015 01:37
  Last modified:	29 Nov 2024 01:09
  Related URLs:	Related item http://eptcs.web.cse.unsw.edu.au/paper.c...
  URI:	https://strathprints.strath.ac.uk/id/eprint/54791