E-viri
PDF
Odprti dostop
-
Duncan, Ross; Lucas, Maxime
Electronic proceedings in theoretical computer science, 12/2014, Letnik: 171, Številka: Proc. QPL 2013Journal Article
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.
