research
∙
05/10/2021
Fast Automated Reasoning over String Diagrams using Multiway Causal Structure
We introduce an intuitive algorithmic methodology for enacting automated...
share
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
∙
10/05/2020
