research
∙
08/15/2023
Computational General Relativity in the Wolfram Language using Gravitas I: Symbolic and Analytic Computation
We introduce a new, open-source computational general relativity framewo...
research
∙
01/29/2023
Axiomatic Quantum Field Theory in Discrete Spacetime via Multiway Causal Structure: The Case of Entanglement Entropies
The causal set and Wolfram model approaches to discrete quantum gravity ...
research
∙
10/13/2022
A Functorial Perspective on (Multi)computational Irreducibility
This article aims to provide a novel formalization of the concept of com...
research
∙
11/04/2021
Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types
How do spaces emerge from pregeometric discrete building blocks governed...
research
∙
05/22/2021
Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories
We investigate the algebraic and compositional properties of multiway (n...
research
∙
05/10/2021
Fast Automated Reasoning over String Diagrams using Multiway Causal Structure
We introduce an intuitive algorithmic methodology for enacting automated...
research
∙
03/29/2021
ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification
This article presents a novel algorithmic methodology for performing aut...
research
∙
11/23/2020
Algorithmic Causal Sets and the Wolfram Model
The formal relationship between two differing approaches to the descript...
research
∙
10/05/2020
ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory
Categorical quantum mechanics and the Wolfram model offer distinct but c...
research
∙
04/28/2020