Quantomatic
From MaRDI portal
Software:22076
No author found.
Source code repository: https://github.com/Quantomatic/quantomatic
Related Items (26)
Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Tensors, !-graphs, and non-commutative quantum structures ⋮ Unnamed Item ⋮ Picturing classical and quantum Bayesian inference ⋮ Unnamed Item ⋮ DisCoPy: Monoidal Categories in Python ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ Quantum picturalism for topological cluster-state computing ⋮ Rewriting with Frobenius ⋮ Rewriting Measurement-Based Quantum Computations with Generalised Flow ⋮ Biunitary constructions in quantum information ⋮ Unnamed Item ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} ⋮ Exploring a Quantum Theory with Graph Rewriting and Computer Algebra ⋮ Demonstration of the no-hiding theorem on the 5-qubit IBM quantum computer in a category-theoretic framework ⋮ Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC ⋮ String diagram rewrite theory III: Confluence with and without Frobenius
This page was built for software: Quantomatic
