Quantomatic

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