TY - RPRT TI - ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification AU - Jonathan Gorard AU - Manojna Namuduri AU - Xerxes D. Arsiwalla PY - 2021 UR - https://arxiv.org/abs/2103.15820 ID - 2103.15820 ER -