scientific article

zbMath1486.81014arXiv1901.10114MaRDI QIDQ3385629

Ross Duncan, Andrew Fagan

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1901.10114

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Quantum computation (81P68) Quantum measurement theory, state operations, state preparations (81P15)

Related Items (2)

Unnamed Item ⋮ An automated deductive verification framework for circuit-building quantum programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generators and relations for n-qubit Clifford operators
• Strong Complementarity and Non-locality in Categorical Quantum Mechanics
• The ZX-calculus is complete for stabilizer quantum mechanics
• Quantomatic: A Proof Assistant for Diagrammatic Reasoning
• Graph States and the Necessity of Euler Decomposition
• Interacting Frobenius Algebras are Hopf
• Shorter Stabilizer Circuits via Bruhat Decomposition and Quantum Circuit Transformations
• Interacting quantum observables: categorical algebra and diagrammatics
• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• Categorical algebra

This page was built for publication: