# • ### QuantumToMultiwaySystem

Simulate a quantum evolution as a multiway system

• ### BranchPairs

Compute branch pairs for a given multiway system

• ### TotalCausalInvariantQ

Determine whether a given multiway system is causal invariant

• ### MultiwayMonoid

Simulate an arbitrary (potentially commutative) monoid as a multiway system

• ### CanonicalKnuthBendixCompletion

Compute the canonical Knuth-Bendix completion for a given multiway system

• ### MultiwaySemigroup

Simulate an arbitrary (potentially commutative) semigroup as a multiway system

• ### CanonicalBranchPairs

Compute canonical branch pairs for a given multiway system

• ### FindHypergraphIsomorphism

Find all isomorphisms between two orderless (undirected) hypergraphs

• ### MultiwayCombinator

Simulate the evaluation of a combinator expression as a multiway system

• ### KnuthBendixCompletion

Compute the Knuth-Bendix completion for a given multiway system

• ### FindListProof

Try to find a proof of equivalence between lists in a given multiway system

• ### FindStringProof

Try to find a proof of equivalence between strings in a given multiway system

• ### IsomorphicOrderedHypergraphQ

Determine whether two ordered (directed) hypergraphs are isomorphic

• ### FindOrderedHypergraphIsomorphism

Find isomorphisms between two ordered (directed) hypergraphs

• ### CausalInvariantQ

Determine whether a given multiway system is causal invariant

• ### BranchPairResolutions

Compute branch pair resolutions for a given multiway system

• ### IsomorphicHypergraphQ

Determine whether two orderless (undirected) hypergraphs are isomorphic

• ### FindEquationalCounterexample

Try to find a counterexample to an equational hypothesis in a given system of axioms

• ### MultiwayGroup

Simulate an arbitrary (potentially abelian) group as a multiway system

• ### FindWolframModelProof

Try to find a proof of equivalence between hypergraphs in a given multiway Wolfram model system

• ### MultiwayOperatorSystem

Simulate the evaluation of a formal operator expression as a multiway system

• ### AggregationSystem

Evolve a 2D array of cells by randomly adding new cells at positions with certain neighborhood configurations

• ### GenerationalMultiwaySystem

Compute the evolution of a generational multiway system and many associated properties

• ### QuantumTensorAutomaton

A quantum cellular automaton model that evolves the tensor product of a collection of initial qubits using arbitrary compositions of unitary operators for a finite number of steps

• ### MultiwayFunctionSystem

Compute the evolution of a multiway system based on function evaluation over the integers

• ### MultiwayEvolutionPlot

Plot the evolution of a multiway system

• ### MultiwaySystem

Compute the evolution of a multiway system and many associated properties

• ### CausalConnectionGraph

Generate a graph giving the relations between regions of causally equivalent events in a causal graph

• ### MultiwayTuringMachine

Simulate a nondeterministic Turing machine evolution as a multiway system

• ### MakeZXDiagram

Make a diagrammatic representation of a linear map in the ZX-calculus