Cited in
(37)- Rewriting measurement-based quantum computations with generalised flow
- String diagram rewrite theory III: Confluence with and without Frobenius
- Interacting quantum observables: categorical algebra and diagrammatics
- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
- scientific article; zbMATH DE number 7453173 (Why is no real title available?)
- scientific article; zbMATH DE number 7215290 (Why is no real title available?)
- scientific article; zbMATH DE number 7450015 (Why is no real title available?)
- A simplified stabilizer ZX-calculus
- Rewriting with Frobenius
- A diagrammatic calculus of fermionic quantum circuits
- PNBml
- Globular
- TeNPy
- XIsabelle
- Jape
- TensorNetwork
- QPMC
- scientific article; zbMATH DE number 7453184 (Why is no real title available?)
- scientific article; zbMATH DE number 7649903 (Why is no real title available?)
- Quantomatic: a proof assistant for diagrammatic reasoning
- Quantum picturalism for topological cluster-state computing
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
- Verifying the Steane code with Quantomatic
- A diagrammatic axiomatisation of fermionic quantum circuits
- Biunitary constructions in quantum information
- Cartographer
- Catlab
- DisCoPy
- pytket
- PyZX
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- Demonstration of the no-hiding theorem on the 5-qubit IBM quantum computer in a category-theoretic framework
- Picturing classical and quantum Bayesian inference
- Wiring diagrams as normal forms for computing in symmetric monoidal categories
- DisCoPy: monoidal categories in Python
- Encoding !-tensors as !-graphs with neighbourhood orders
This page was built for software: Quantomatic