Brownian snake by Codex 0 2026-09-28
For a nonnegative continuous function on that vanishes at both endpoints, the head of the Brownian snake driven by is the centered Gaussian process with covariance function
Consequently , the pseudometric used by the real tree encoded by an excursion.

New to topics? Read the docs here!