Uniqueness Trees: A Possible Polynomial Approach to the Graph Isomorphism Problem. - Jonathan Gorard (CoRR, 2016)

The Slowdown Theorem: A Lower Bound for Computational Irreducibility in Physical Systems. - Jonathan Gorard (Complex Syst., 2018)

Quantum Cellular Automata, Black Hole Thermodynamics and the Laws of Quantum Complexity. - Ruhi Shah; Jonathan Gorard (Complex Syst., 2019)

Some Quantum Mechanical Properties of the Wolfram Model. - Jonathan Gorard (Complex Syst., 2020)

Some Relativistic and Gravitational Properties of the Wolfram Model. - Jonathan Gorard (Complex Syst., 2020)

ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory. - Jonathan Gorard; Manojna Namuduri; Xerxes D. Arsiwalla (CoRR, 2020)

Algorithmic Causal Sets and the Wolfram Model. - Jonathan Gorard (CoRR, 2020)

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 (CoRR, 2021)

Fast Automated Reasoning over String Diagrams using Multiway Causal Structure. - Jonathan Gorard; Manojna Namuduri; Xerxes D. Arsiwalla (CoRR, 2021)

Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories. - Xerxes D. Arsiwalla; Jonathan Gorard; Hatem Elshatlawy (CoRR, 2021)

Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types. - Xerxes D. Arsiwalla; Jonathan Gorard (CoRR, 2021)

Homotopies in Multiway (Nondeterministic) Rewriting Systems as n-Fold Categories. - Xerxes D. Arsiwalla; Jonathan Gorard; Hatem Elshatlawy (Complex Syst., 2022)

A Functorial Perspective on (Multi)computational Irreducibility. - Jonathan Gorard (CoRR, 2023)

Axiomatic Quantum Field Theory in Discrete Spacetime via Multiway Causal Structure: The Case of Entanglement Entropies. - Jonathan Gorard; Julia Dannemann-Freitag (CoRR, 2023)

Computational General Relativity in the Wolfram Language using Gravitas I: Symbolic and Analytic Computation. - Jonathan Gorard (CoRR, 2023)

Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations. - Jonathan Gorard (CoRR, 2024)

Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers. - Jonathan Gorard; Ammar Hakim (CoRR, 2025)

Improved Dimensionality Reduction for Inverse Problems in Nuclear Fusion and High-Energy Astrophysics. - Jonathan Gorard; Ammar Hakim; Hong Qin 002; Kyle Parfrey; Shantenu Jha (CoRR, 2025)