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