1. Miriam Backens (2014): The ZX-calculus is complete for stabilizer quantum mechanics. New Journal of Physics 16(9), pp. 093021, doi:10.1088/1367-2630/16/9/093021.
  2. Miriam Backens (2015): Making the stabilizer ZX-calculus complete for scalars. Electronic Proceedings in Theoretical Computer Science 195, pp. 17–32, doi:10.4204/EPTCS.195.2.
  3. Bob Coecke & Ross Duncan (2011): Interacting quantum observables: categorical algebra and diagrammatics. New Journal of Physics 13(4), pp. 043016, doi:10.1088/1367-2630/13/4/043016.
  4. Ross Duncan & Simon Perdrix (2009): Graph States and the Necessity of Euler Decomposition. In: Mathematical Theory and Computational Practice 5635. Springer Berlin Heidelberg, pp. 167–177, doi:10.1007/978-3-642-03073-4_18.
  5. Ross Duncan & Simon Perdrix (2014): Pivoting makes the ZX-calculus complete for real stabilizers. Electronic Proceedings in Theoretical Computer Science 171, pp. 50–62, doi:10.4204/EPTCS.171.5.
  6. Daniel Gottesman (1997): Stabilizer Codes and Quantum Error Correction. Caltech. Available at
  7. Daniel Gottesman (1998): The Heisenberg Representation of Quantum Computers. In: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics. arXiv:quant-ph/9807006.
  8. Aleks Kissinger, Alex Merry, Ben Frot, Bob Coecke, David Quick, Lucas Dixon, Matvey Soloviev, Ross Duncan & Vladimir Zamdzhiev: Quantomatic. Accessed April 2016.
  9. Michael A. Nielsen & Isaac L. Chuang (2010): Quantum Computation and Quantum Information. Cambridge University Press, Cambridge, doi:10.1017/CBO9780511976667.
  10. Simon Perdrix & Quanlong Wang (2016): Supplementarity is Necessary for Quantum Diagram Reasoning. In: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), LIPIcs 58, pp. 76:1–76:14, doi:10.4230/LIPIcs.MFCS.2016.76.
  11. Robert Raussendorf & Hans J. Briegel (2001): A One-Way Quantum Computer. Physical Review Letters 86(22), pp. 5188–5191, doi:10.1103/PhysRevLett.86.5188.
  12. Christian Schröder de Witt & Vladimir Zamdzhiev (2014): The ZX-calculus is incomplete for quantum mechanics. EPTCS 172, pp. 285–292, doi:10.4204/EPTCS.172.20.

Comments and questions to:
For website issues: