Wolfram Function Repository
Instant-use add-on functions for the Wolfram Language
Search Results
30 items
Simulate a quantum evolution as a multiway system
Compute branch pairs for a given multiway system
Determine whether a given multiway system is causal invariant
Simulate an arbitrary (potentially commutative) monoid as a multiway system
Compute the canonical Knuth-Bendix completion for a given multiway system
Simulate an arbitrary (potentially commutative) semigroup as a multiway system
Compute canonical branch pairs for a given multiway system
Find all isomorphisms between two orderless (undirected) hypergraphs
Simulate the evaluation of a combinator expression as a multiway system
Compute the Knuth-Bendix completion for a given multiway system
Try to find a proof of equivalence between lists in a given multiway system
Try to find a proof of equivalence between strings in a given multiway system
Determine whether two ordered (directed) hypergraphs are isomorphic
Find isomorphisms between two ordered (directed) hypergraphs
Determine whether a given multiway system is causal invariant
Compute branch pair resolutions for a given multiway system
Determine whether two orderless (undirected) hypergraphs are isomorphic
Try to find a counterexample to an equational hypothesis in a given system of axioms
Simulate an arbitrary (potentially abelian) group as a multiway system
Try to find a proof of equivalence between hypergraphs in a given multiway Wolfram model system
Simulate the evaluation of a formal operator expression as a multiway system
Evolve a 2D array of cells by randomly adding new cells at positions with certain neighborhood configurations
Compute the evolution of a generational multiway system and many associated properties
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
Compute the evolution of a multiway system based on function evaluation over the integers
Plot the evolution of a multiway system
Compute the evolution of a multiway system and many associated properties
Generate a graph giving the relations between regions of causally equivalent events in a causal graph
Simulate a nondeterministic Turing machine evolution as a multiway system
Make a diagrammatic representation of a linear map in the ZX-calculus