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