Prefer a chat interface with context about you and your work?
The enumeration of rooted trees by total height
The height (as in [3] and [4]) of a point in a rooted tree is the length of the path (that is, the number of lines in the path) from it to the root; the total height of a rooted tree is the sum of the heights of its points. …