The following pages link to (Q4997267):
Displaying 17 items.
- Hybrid quantum-classical circuit simplification with the ZX-calculus (Q2691632) (← links)
- (Q3384923) (← links)
- (Q3384933) (← links)
- (Q3384951) (← links)
- (Q3385623) (← links)
- (Q3385629) (← links)
- (Q3385644) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- (Q5020630) (← links)
- (Q5028464) (← links)
- (Q5091270) (← links)
- (Q5092417) (← links)
- (Q5114829) (← links)
- Shaded tangles for the design and verification of quantum circuits (Q5160634) (← links)
- Graphical CSS Code Transformation Using ZX Calculus (Q6200518) (← links)
- Picturing Counting Reductions with the ZH-Calculus (Q6200526) (← links)
- The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification (Q6200535) (← links)