The following pages link to (Q3385623):
Displaying 11 items.
- Classical simulation of quantum circuits by half Gauss sums (Q2113488) (← links)
- The structure of sum-over-paths, its consequences, and completeness for Clifford (Q2233432) (← links)
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- (Q5020634) (← links)
- Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes (Q6200528) (← links)
- Rewriting and completeness of sum-over-paths in dyadic fragments of quantum computing (Q6563043) (← links)
- Hypergraph simplification: linking the path-sum approach to the ZH-calculus (Q6645583) (← links)
- And-gates in ZX-calculus: spider nest identities and QBC-completeness (Q6645586) (← links)
- Quantum Hoare type theory: extended abstract (Q6645590) (← links)
- Relating measurement patterns to circuits via Pauli flow (Q6646297) (← links)
- Generators and relations for the group \(\mathrm{O}_n(\mathbb{Z}[\frac{1}{2}])\) (Q6646306) (← links)