The following pages link to Quantomatic (Q22076):
Displaying 26 items.
- Picturing classical and quantum Bayesian inference (Q383002) (← links)
- Tensors, !-graphs, and non-commutative quantum structures (Q1670507) (← links)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- Demonstration of the no-hiding theorem on the 5-qubit IBM quantum computer in a category-theoretic framework (Q2100812) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- Rewriting Measurement-Based Quantum Computations with Generalised Flow (Q3587446) (← links)
- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra (Q3637271) (← links)
- A diagrammatic axiomatisation of fermionic quantum circuits (Q4993345) (← links)
- (Q4997267) (← links)
- (Q5014779) (← links)
- (Q5015207) (← links)
- (Q5018498) (← links)
- (Q5019659) (← links)
- DisCoPy: Monoidal Categories in Python (Q5019676) (← links)
- (Q5020627) (← links)
- (Q5020643) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- (Q5114829) (← links)
- Interacting quantum observables: categorical algebra and diagrammatics (Q5135836) (← links)
- Quantum picturalism for topological cluster-state computing (Q5135911) (← links)
- Rewriting with Frobenius (Q5145289) (← links)
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (Q5195279) (← links)
- (Q5232908) (← links)
- Biunitary constructions in quantum information (Q5382904) (← links)
- (Q5875361) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
