A 'random walk', sometimes denoted 'RW', is a mathematical formalization of a trajectory that consists of taking successive random steps.

A random walk is a mathematical formalization of a path that consists of a succession of random steps.

The growth model was propagated in verbal terms, where later on the mathematical formalization was put forward by Kenneth K. Kurihara.

Hutter uses Solomonoff's inductive inference as a mathematical formalization of Occam's razor.

The mathematical formalization of the Bernoulli trial is known as the Bernoulli process.

The above intuition of domains being information orderings will be emphasized to motivate the mathematical formalization of the theory.

The dynamical system concept is a mathematical formalization for any fixed "rule" which describes the time dependence of a point's position in its ambient space.

There are numerous equivalent characterizations of the Wiener process which is a mathematical formalization of Brownian motion.

Michael I. Jordan, Emmanuel Todorov and Daniel Wolpert contributed significantly to the mathematical formalization.

Dynamical system modeled as a mathematical formalization has fixed "rule" which describes the time dependence of a point's position in its ambient space.