Quantomatic
From MaRDI portal
Software:22076
swMATH10107MaRDI QIDQ22076FDOQ22076
Author name not available (Why is that?)
Source code repository: https://github.com/Quantomatic/quantomatic
Cited In (25)
- Interacting quantum observables: categorical algebra and diagrammatics
- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A simplified stabilizer ZX-calculus
- Rewriting with Frobenius
- A diagrammatic calculus of fermionic quantum circuits
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- 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
- String diagram rewrite theory III: Confluence with and without Frobenius
- Rewriting measurement-based quantum computations with generalised flow
This page was built for software: Quantomatic
