10 citations · 20 across the 3 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…
Hypergraph Discretization of the Cauchy Problem in General Relativity via Wolfram Model Evolution
Jonathan Gorard
Although the traditional form of the Einstein field equations is intrinsically four-dimensional, the field of numerical general relativity focuses on the reformulation of these equ…