Quantomatic

swMATH10107MaRDI QIDQ22076FDOQ22076

Author name not available (Why is that?)

Official website: http://quantomatic.github.io

Source code repository: https://github.com/Quantomatic/quantomatic

Cited In (37)

• 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?)
• PNBml
• Quantomatic: a proof assistant for diagrammatic reasoning
• Globular
• TeNPy
• XIsabelle
• Jape
• 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
• TensorNetwork
• QPMC
• A diagrammatic axiomatisation of fermionic quantum circuits
• Biunitary constructions in quantum information
• Cartographer
• Catlab
• DisCoPy
• pytket
• PyZX
• 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