scientific article; zbMATH DE number 7453173

MaRDI QIDQ5020627

Hector Miller-Bakewell

Publication date: 6 January 2022

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

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

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (1)

Hybrid quantum-classical circuit simplification with the ZX-calculus

Uses Software

• Quantomatic

Cites Work

• Unnamed Item
• On the history of multivariate polynomial interpolation
• Picturing Quantum Processes
• Quantomatic: A Proof Assistant for Diagrammatic Reasoning
• Interacting Quantum Observables
• A Diagrammatic Axiomatisation for Qubit Entanglement
• Pattern graph rewrite systems
• Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
• Categorical algebra

This page was built for publication: