Pages that link to "Item:Q5145332"
From MaRDI portal
The following pages link to A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics (Q5145332):
Displaying 31 items.
- Complete axiomatizations for quantum actions (Q861649) (← links)
- ZX-rules for 2-qubit \(\text{2-qubit Clifford}+\text{T}\) quantum circuits (Q1796375) (← links)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- (Q3384923) (← links)
- (Q3385624) (← links)
- (Q3385629) (← links)
- Universal Properties in Quantum Theory (Q3385637) (← links)
- (Q3385644) (← links)
- The ZX-calculus is complete for stabilizer quantum mechanics (Q3386971) (← links)
- Supplementarity is necessary for quantum diagram reasoning (Q4608639) (← links)
- A diagrammatic axiomatisation of fermionic quantum circuits (Q4993345) (← links)
- The ZX-calculus is incomplete for quantum mechanics (Q4997300) (← links)
- (Q5020630) (← links)
- (Q5020635) (← links)
- (Q5020642) (← links)
- (Q5089188) (← links)
- (Q5091270) (← links)
- (Q5092417) (← links)
- (Q5111225) (← links)
- Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics (Q5145333) (← links)
- (Q5856401) (← links)
- Completeness of the ZH-calculus (Q6050005) (← links)
- Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation (Q6200534) (← links)
- Rewriting and completeness of sum-over-paths in dyadic fragments of quantum computing (Q6563043) (← links)
- Addition and differentiation of ZX-diagrams (Q6563057) (← links)
- Semantics for a lambda calculus for string diagrams (Q6612802) (← links)
- Well-tempered ZX and ZH calculi (Q6645575) (← links)
- And-gates in ZX-calculus: spider nest identities and QBC-completeness (Q6645586) (← links)
- An algebraic axiomatisation of ZX-calculus (Q6645591) (← links)
- Diagrammatic differentiation for quantum machine learning (Q6646301) (← links)
- Quantum algorithms and oracles with the scalable ZX-calculus (Q6646305) (← links)