Manuscript Oai211-A@1 · Oai211-A.tex · section · 3f3e4f63
Exact conditioning and height probabilities
The marked tree and its spine law › Exact conditioning and height probabilities · lines 405–410
Equations (eq:pi) and (eq:heighttail) specify finite quantities. Inclusion of a coefficient formula is not a claim that it has been numerically evaluated or rigorously enclosed.