Fetching the paper…

Reading the bibliography…

2013

Verifying the Steane code with Quantomatic

Duncan, Ross, Lucas, Maxime

Original
PDF
Post on X

Understand

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.

Verifying the Steane code with Quantomatic · Around

Built on

Proc. R. Soc. Lond. A
Original
Andrew Steane (1996): · 1996
Earlier work this paper cites.
Ph.D. thesis, Oxford University
R Duncan (2006): · 2006
Earlier work this paper cites.
Cambridge University Press,
N. David Mermin (2007): · 2007
Earlier work this paper cites.

Similar

Annals of Mathematics and Artificial Intelligence
Lucas Dixon & Ross Duncan (2009): · 2009
Cited alongside, same era.
In S. Abramsky, C. Gavoille, C Kirchner, F. Meyer auf der Heide & P. G. Spirakis, editors:
R. Duncan & S. Perdrix (2010): · 2010
Cited alongside, same era.
Available at
L. Dixon, R. Duncan, B. Frot, A. Kissinger, A. Merry & M. Soloviev:
Cited in the paper.

Then

New J. Phys
Bob Coecke & Ross Duncan (2011): · 2011
Later among the works it cites.
In Chris Heunen, Mehrnoosh Sadrzadeh & Edward Grefenstette, editors:
Ross Duncan (2013): · 2013
Closest in time.

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…