Verifying the Steane code with Quantomatic. Duncan, R. & Lucas, M. Electronic Proceedings in Theoretical Computer Science, 171:33–49, December, 2014. ZSCC: NoCitationData[s0] arXiv: 1306.4532Paper doi abstract bibtex 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.
@article{duncan_verifying_2014,
title = {Verifying the {Steane} code with {Quantomatic}},
volume = {171},
issn = {2075-2180},
url = {http://arxiv.org/abs/1306.4532},
doi = {10/ggch75},
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.},
urldate = {2019-11-07},
journal = {Electronic Proceedings in Theoretical Computer Science},
author = {Duncan, Ross and Lucas, Maxime},
month = dec,
year = {2014},
note = {ZSCC: NoCitationData[s0]
arXiv: 1306.4532},
keywords = {Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, F.3.1, Quantum Physics},
pages = {33--49}
}
Downloads: 0
{"_id":"8H4JGojTuhyvfdKmJ","bibbaseid":"duncan-lucas-verifyingthesteanecodewithquantomatic-2014","authorIDs":[],"author_short":["Duncan, R.","Lucas, M."],"bibdata":{"bibtype":"article","type":"article","title":"Verifying the Steane code with Quantomatic","volume":"171","issn":"2075-2180","url":"http://arxiv.org/abs/1306.4532","doi":"10/ggch75","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.","urldate":"2019-11-07","journal":"Electronic Proceedings in Theoretical Computer Science","author":[{"propositions":[],"lastnames":["Duncan"],"firstnames":["Ross"],"suffixes":[]},{"propositions":[],"lastnames":["Lucas"],"firstnames":["Maxime"],"suffixes":[]}],"month":"December","year":"2014","note":"ZSCC: NoCitationData[s0] arXiv: 1306.4532","keywords":"Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, F.3.1, Quantum Physics","pages":"33–49","bibtex":"@article{duncan_verifying_2014,\n\ttitle = {Verifying the {Steane} code with {Quantomatic}},\n\tvolume = {171},\n\tissn = {2075-2180},\n\turl = {http://arxiv.org/abs/1306.4532},\n\tdoi = {10/ggch75},\n\tabstract = {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.},\n\turldate = {2019-11-07},\n\tjournal = {Electronic Proceedings in Theoretical Computer Science},\n\tauthor = {Duncan, Ross and Lucas, Maxime},\n\tmonth = dec,\n\tyear = {2014},\n\tnote = {ZSCC: NoCitationData[s0] \narXiv: 1306.4532},\n\tkeywords = {Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, F.3.1, Quantum Physics},\n\tpages = {33--49}\n}\n\n","author_short":["Duncan, R.","Lucas, M."],"key":"duncan_verifying_2014","id":"duncan_verifying_2014","bibbaseid":"duncan-lucas-verifyingthesteanecodewithquantomatic-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1306.4532"},"keyword":["Computer Science - Artificial Intelligence","Computer Science - Logic in Computer Science","F.3.1","Quantum Physics"],"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.547Z","downloads":0,"keywords":["computer science - artificial intelligence","computer science - logic in computer science","f.3.1","quantum physics"],"search_terms":["verifying","steane","code","quantomatic","duncan","lucas"],"title":"Verifying the Steane code with Quantomatic","year":2014,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}