convex analysis; phylogenetic trees; convex hulls; nonlinear Hadamard space; Fréchet means