2013/06/30 by Ross Duncan, Maxime Lucas
Physics and Astronomy · Computer Science · #quant-ph #cs.AI #cs.LO
paper · pdf · doi:10.4204/eptcs.171.4
published as EPTCS 171, 2014, pp. 33-49 · In Proceedings QPL 2013, arXiv:1412.7917
arxiv created 2014/12/30 · arxiv updated 2014/12/31
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.