The following pages link to (Q3385623):
Displaying 5 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)