Institute Output

Fast Automated Reasoning over String Diagrams using Multiway Causal Structure

Jonathan Gorard 2021-05-10 Jonathan Gorard 2021-05-10

Fast Automated Reasoning over String Diagrams using Multiway Causal Structure

Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla

Read More

ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification

Jonathan Gorard 2021-03-29 Jonathan Gorard 2021-03-29

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

Read More