A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).

Yu-Fang Chen, Philipp Rmmer, Wei-Lun Tsai

Browse the full CADE paper archive.