scientific article; zbMATH DE number 7447789

MaRDI QIDQ3384933zbMATH OpenFDO

Authors Liam Garvie, Ross Duncan

Publication date 17 December 2021

Full work available at URL https://arxiv.org/abs/1706.02717, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2017.10

Mathematics Subject Classification ID

Quantum computation (81P68) Quantum coding (general) (81P70)

Cites work

• A first-order logic for string diagrams
• A simplified stabilizer ZX-calculus
• scientific article; zbMATH DE number 2125662 (Why is no real title available?)
• Interacting Frobenius algebras are Hopf
• Interacting Quantum Observables
• Interacting quantum observables: categorical algebra and diagrammatics
• Making the stabilizer ZX-calculus complete for scalars
• Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19--24, 2009. Proceedings
• Pattern graph rewrite systems
• Pivoting makes the \textsc{zx}-calculus complete for real stabilizers
• Quantomatic: a proof assistant for diagrammatic reasoning
• Strong complementarity and non-locality in categorical quantum mechanics
• Supplementarity is necessary for quantum diagram reasoning
• The ZX-calculus is complete for stabilizer quantum mechanics
• The ZX-calculus is complete for the single-qubit Clifford+T group
• Universal quantum computation with ideal Clifford gates and noisy ancillas
• Verifying the Steane code with Quantomatic

Cited in

(6)

• Towards large-scale functional verification of universal quantum circuits
• Optimising Clifford circuits with quantomatic
• scientific article; zbMATH DE number 7561601 (Why is no real title available?)
• Completeness of the ZX-calculus
• The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
• Addition and differentiation of ZX-diagrams

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384933)