S. Aaronson and &. Daniel-gottesman, Improved simulation of stabilizer circuits, Physical Review A, vol.4, issue.5, p.52328, 2004.
DOI : 10.1023/A:1011233615437

M. Backens, The ZX-calculus is complete for stabilizer quantum mechanics, New Journal of Physics, vol.16, issue.9, p.93021, 2014.
DOI : 10.1088/1367-2630/16/9/093021

M. Backens and &. Duman, A complete graphical calculus for Spekkens' toy bit theory. Foundations of Physics, pp.1-3410, 2014.
DOI : 10.1007/s10701-015-9957-7
URL : http://arxiv.org/pdf/1411.1618.pdf

&. Niel-de-beaudrap and . Horsman, The ZX calculus is a language for surface code lattice surgery Available at https, QPL 2017, 2017.

J. D. Biamonte, S. R. Clark, and D. Jaksch, Categorical Tensor Network States, AIP Advances, vol.1, issue.4, 2011.
DOI : 10.1109/TC.1984.1676392
URL : http://aip.scitation.org/doi/pdf/10.1063/1.3672009

N. Chancellor, A. Kissinger, J. Roffe, S. Zohren, and D. Horsman, Graphical Structures for Design and Verification of Quantum Error Correction. Available at https, 2016.

B. Coecke and &. Duncan, Interacting quantum observables: categorical algebra and diagrammatics, New Journal of Physics, vol.13, issue.4, p.43016, 2011.
DOI : 10.1088/1367-2630/13/4/043016
URL : http://iopscience.iop.org/article/10.1088/1367-2630/13/4/043016/pdf

B. Coecke and &. Kissinger, The Compositional Structure of Multipartite Quantum Entanglement, pp.297-308978, 2010.
DOI : 10.1007/978-3-642-14162-1_25

R. Duncan, A graphical approach to measurement-based quantum computing, 2013.
DOI : 10.1093/acprof:oso/9780199646296.003.0003
URL : http://arxiv.org/pdf/1203.6242.pdf

R. Duncan and &. Dunne, Interacting Frobenius Algebras are Hopf, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, pp.535-544, 2016.
DOI : 10.1017/CBO9780511618505
URL : http://arxiv.org/pdf/1601.04964

R. Duncan and &. Garvie, Verifying the Smallest Interesting Colour Code with Quantomatic Available at https://arxiv, 2017.

R. Duncan and &. Simon-perdrix, Rewriting Measurement-Based Quantum Computations with Generalised Flow, Lecture Notes in Computer Science, vol.6199, pp.285-296, 2010.
DOI : 10.1007/978-3-642-14162-1_24
URL : https://hal.archives-ouvertes.fr/hal-00940895

W. Dür, G. Vidal, and &. J. Cirac, Three qubits can be entangled in two inequivalent ways, Phys. Rev. A, vol.62, 2000.

A. Hadzihasanovic, A Diagrammatic Axiomatisation for Qubit Entanglement, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.573-584, 2015.
DOI : 10.1109/LICS.2015.59
URL : http://arxiv.org/pdf/1501.07082

A. Hadzihasanovic, The algebra of entanglement and the geometry of composition Available at https, 2017.

C. Horsman, Quantum picturalism for topological cluster-state computing, New Journal of Physics, vol.13, issue.9, p.95011, 2011.
DOI : 10.1088/1367-2630/13/9/095011
URL : http://iopscience.iop.org/article/10.1088/1367-2630/13/9/095011/pdf

E. Jeandel, S. , and R. Vilmart, A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics Available at https, 2017.

E. Jeandel, S. , and R. Vilmart, Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics Available at https://arxiv, 2018.

E. Jeandel, S. Perdrix, R. Vilmart, and &. Wang, ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics, 42nd International Symposium on Mathematical Foundations of Computer Science Leibniz International Proceedings in Informatics (LIPIcs) 83, Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01445707

A. Kissinger and &. Vladimir-zamdzhiev, Quantomatic: A Proof Assistant for Diagrammatic Reasoning, Automated Deduction -CADE-25, pp.326-336, 2015.
DOI : 10.1007/978-3-319-21401-6_22
URL : http://arxiv.org/pdf/1503.01034

&. Kang-feng-ng and . Wang, A universal completion of the ZX-calculus. Available at https://arxiv, 2017.

&. Kang-feng-ng and . Wang, Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics Available at https, 2018.

A. Michael, &. Nielsen, L. Isaac, and . Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition, pp.10-1017, 2010.

R. Vilmart, A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. Available at https, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01762264