@(jython,
title = {The Jython Project : Python for the Java Platform},
url = {http://www.jython.org},
)
@article(Scott-Aaronson:2004yf,
author = {S. Aaronson and D Gottesman},
year = {2004},
title = {Improved Simulation of Stabilizer Circuits},
journal = {Phys. Rev. A},
volume = {70},
number = {052328},
doi = {10.1103/PhysRevA.70.052328},
)
@article(1367-2630-16-9-093021,
author = {Miriam Backens},
year = {2014},
title = {The ZX-calculus is complete for stabilizer quantum mechanics},
journal = {New Journal of Physics},
volume = {16},
number = {9},
pages = {093021},
doi = {10.1088/1367-2630/16/9/093021},
)
@inproceedings(Backens:2015aa,
author = {Miriam Backens},
year = {2015},
title = {Making the stabilizer ZX-calculus complete for scalars},
editor = {Chris Heunen and Peter Selinger and Jamie Vicary},
booktitle = {Proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015)},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {195},
pages = {17--32},
doi = {10.4204/EPTCS.195.2},
)
@inproceedings(Backens2016A-Simplified-St,
author = {Miriam Backens and Simon Perdrix and Quanlong Wang},
year = {2016},
title = {A Simplified Stabilizer ZX-calculus},
editor = {R. Duncan and C. Heunen},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic (QPL 2016)},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {236},
pages = {1--20},
doi = {10.4204/EPTCS.236.1},
)
@article(Chancellor2016Coherent-Parity,
author = {Nicholas Chancellor and Aleks Kissinger and Stefan Zohren and Dominic Horsman},
year = {2016},
title = {Coherent Parity Check Construction for Quantum Error Correction},
journal = {arXiv.org preprint},
number = {arXiv:1611.08012},
)
@article(Coecke:2009aa,
author = {Bob Coecke and Ross Duncan},
year = {2011},
title = {Interacting Quantum Observables: Categorical Algebra and Diagrammatics},
journal = {New J. Phys},
volume = {13},
number = {043016},
doi = {10.1088/1367-2630/13/4/043016},
)
@incollection(Coecke:2015aa,
author = {Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang},
year = {2015},
title = {Generalised Compositional Theories and Diagrammatic Reasoning},
editor = {G. Chiribella and R. Spekkens},
booktitle = {Quantum Theory: Informational Foundations and Foils},
publisher = {Springer},
doi = {10.1007/978-94-017-7303-4\_10},
)
@article(Danos2006Determinism-in-,
author = {V. Danos and E. Kashefi},
year = {2006},
title = {Determinism in the one-way model},
journal = {Phys. Rev. A},
volume = {74},
number = {052310},
doi = {10.1103/PhysRevA.74.052310},
)
@inproceedings(Duncan2016Interacting-Fro,
author = {Ross Duncan and Kevin Dunne},
year = {2016},
title = {Interacting {F}robenius Algebras are {H}opf},
editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar},
booktitle = {{Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}},
series = {{LICS '16}},
publisher = {{ACM}},
pages = {535--544},
doi = {10.1145/2933575.2934550},
)
@inproceedings(Duncan:2013lr,
author = {Ross Duncan and Maxime Lucas},
year = {2014},
title = {Verifying the {S}teane code with {Q}uantomatic},
editor = {Bob Coecke and Matty Hoban},
booktitle = {Proceedings 10th International Workshop on Quantum Physics and Logic (QPL 2013)},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {171},
pages = {33--49},
doi = {10.4204/EPTCS.171.4},
)
@inproceedings(Duncan:2009ph,
author = {Ross Duncan and Simon Perdrix},
year = {2009},
title = {Graph States and the Necessity of {E}uler Decomposition},
editor = {Ambos-Spies, K. and B. L\"{o}we and W. Merkle},
booktitle = {Computability in Europe: Mathematical Theory and Computational Practice (CiE'09)},
series = {Lecture Notes in Computer Science},
volume = {5635},
publisher = {Springer},
pages = {167--177},
doi = {10.1007/978-3-642-03073-4\_18},
)
@inproceedings(EPTCS171.5,
author = {Ross Duncan and Simon Perdrix},
year = {2014},
title = {Pivoting makes the ZX-calculus complete for real stabilizers},
editor = {Bob Coecke and Matty Hoban},
booktitle = {Proceedings 10th International Workshop on Quantum Physics and Logic, Castelldefels (Barcelona), Spain, 17th to 19th July 2013},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {171},
publisher = {Open Publishing Association},
pages = {50--62},
doi = {10.4204/EPTCS.171.5},
)
@inproceedings(Garvie2017Verifying-the-S,
author = {Liam Garvie and Ross Duncan},
year = {2018},
title = {Verifying the Smallest Interesting Colour Code with Quantomatic},
editor = {Bob Coecke and Aleks Kissinger},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017), Nijmegen, The Netherlands, 3-7 July 2017},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {266},
pages = {147--163},
doi = {10.4204/EPTCS.266.10},
)
@inproceedings(Gottesman:1999to,
author = {Daniel Gottesman},
year = {1999},
title = {The Heisenberg Representation of Quantum Computers},
editor = {S. P. Corney and R. Delbourgo and P. D. Jarvis},
booktitle = {Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics},
publisher = {International Press},
pages = {32--43},
)
@inproceedings(Jeandel2017A-Complete-Axio,
author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
year = {2018},
title = {A Complete Axiomatisation of the {ZX}-Calculus for {C}lifford+{T} Quantum Mechanics},
booktitle = {LICS '18- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
volume = {arXiv:1705.11151},
publisher = {ACM},
doi = {10.1145/3209108.3209131},
)
@misc(quantomatichome,
author = {A. Kissinger and L. Dixon and R. Duncan and B. Frot and A. Merry and D. Quick and M. Soloviev and V. Zamdzhiev},
title = {Quantomatic},
url = {http://quantomatic.github.io/},
)
@inproceedings(Kissinger2015Quantomatic:-A-,
author = {Aleks Kissinger and Vladimir Zamdzhiev},
year = {2015},
title = {Quantomatic: A Proof Assistant for Diagrammatic Reasoning},
editor = {P. Amy Felty and Aart Middeldorp},
booktitle = {Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
publisher = {Springer},
pages = {326--336},
doi = {10.1007/978-3-319-21401-6\_22},
)
@article(Lack:2004sf,
author = {Stephen Lack},
year = {2004},
title = {Composing {PROP}s},
journal = {Theory and Applications of Categories},
volume = {13},
number = {9},
pages = {147--163},
)
@article(Lane1965Categorical-Alg,
author = {Saunders Mac Lane},
year = {1965},
title = {Categorical Algebra},
journal = {Bull. Amer. Math. Soc.},
volume = {71},
pages = {40--106},
doi = {10.1090/S0002-9904-1965-11234-4},
)
@article(Maslov2017Shorter-stabili,
author = {Dmitri Maslov and Martin Roetteler},
year = {2018},
title = {Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations},
journal = {IEEE Transactions on Information Theory},
volume = {64},
number = {7},
pages = {4729--4738},
doi = {10.1109/TIT.2018.2825602},
)
@unpublished(NgWang,
author = {Kang Feng Ng and Quanlong Wang},
year = {2017},
title = {A universal completion of the ZX-calculus},
note = {ArXiv:1706.09877},
)
@inproceedings(Perdrix:2015aa,
author = {Simon Perdrix and Quanlong Wang},
year = {2016},
title = {{Supplementarity is Necessary for Quantum Diagram Reasoning}},
editor = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier},
booktitle = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {58},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
pages = {76:1--76:14},
doi = {10.4230/LIPIcs.MFCS.2016.76},
)
@article(Raussendorf-2001,
author = {R. Raussendorf and H. J. Briegel},
year = {2001},
title = {A One-Way Quantum Computer},
journal = {Phys. Rev. Lett.},
volume = {86},
pages = {5188--5191},
doi = {10.1103/PhysRevLett.86.5188},
)
@article(selinger2013generators,
author = {Peter Selinger},
year = {2015},
title = {Generators and relations for n-qubit Clifford operators},
journal = {Logical Methods in Computer Science},
volume = {11},
number = {2:10},
doi = {10.2168/LMCS-11(2:10)2015},
)