Pages that link to "Item:Q3454104"

The following pages link to Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104):

Displaying 28 items.

• 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)
• An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
• Equational Reasoning with Context-Free Families of String Diagrams (Q2947216) (← links)
• Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
• (Q3384933) (← links)
• Categorifying the ZX-calculus (Q3384948) (← links)
• (Q3384951) (← links)
• (Q3385624) (← links)
• (Q3385629) (← links)
• (Q3385644) (← links)
• (Q4993345) (← links)
• (Q5018498) (← links)
• (Q5019659) (← links)
• DisCoPy: Monoidal Categories in Python (Q5019676) (← links)
• (Q5020627) (← links)
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
• String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
• (Q5091270) (← links)
• (Q5092417) (← links)
• (Q5114829) (← links)
• Shaded tangles for the design and verification of quantum circuits (Q5160634) (← 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)
• LinguaQuanta: towards a quantum transpiler between OpenQASM and Quipper (Q6637594) (← links)