WoLFram
From MaRDI portal
Cited in
(17)- Beaver
- Nash equilibrium set function in dyadic mixed-strategy games
- Effective use of SMT solvers for program equivalence checking through invariant-sketching and query-decomposition
- Wolfram Demonstrations
- A nonlinear dynamics perspective of Wolfram's new kind of science. XIV: More Bernoulli \(\sigma _{\tau }\)-shift rules
- Langton parameter phase figure of Wolfram class I total rule cellular automata
- The Wolfram machine
- scientific article; zbMATH DE number 5779227 (Why is no real title available?)
- scientific article; zbMATH DE number 5788643 (Why is no real title available?)
- A classification scheme for fuzzy cellular automata with applications to ECA
- Extending the symbolic dynamics of Chua's Bernoulli-shift rule 56
- A nonlinear dynamic perspective of Wolfram's new kind of science. XIII: Bernoulli \(\sigma_{\tau}\)-shift rules
- Mathematics and Statistics for Science
- Programming with Wolfram Mathematica
- Computational processes, observers and Turing incompleteness
- Dynamics groups of asynchronous cellular automata
- Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17--19, 2008, Münster, Germany
This page was built for software: WoLFram
