73 citations · 109 across the 13 of their papers we have counts for
3 papers · 1 filter
Fast Automated Reasoning over String Diagrams using Multiway Causal Structure
Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla
We introduce an intuitive algorithmic methodology for enacting automated rewriting of string diagrams within a general double-pushout (DPO) framework, in which the sequence of rewr…
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
This article presents a novel algorithmic methodology for performing automated diagrammatic deductions over combinatorial structures, using a combination of modified equational the…
ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory
Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla
Categorical quantum mechanics and the Wolfram model offer distinct but complementary approaches to studying the relationship between diagrammatic rewriting systems over combinatori…