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 (26)
- Title not available (Why is that?)
- 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?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rewriting with Frobenius
- Rewriting Measurement-Based Quantum Computations with Generalised Flow
- DisCoPy: Monoidal Categories in Python
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tensors, !-graphs, and non-commutative quantum structures
- 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}
- 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
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning
- Title not available (Why is that?)
- String diagram rewrite theory III: Confluence with and without Frobenius
This page was built for software: Quantomatic