Institute Output
Fast Automated Reasoning over String Diagrams using Multiway Causal Structure
Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla
ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification
Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla
ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory
Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla