Sets of Independent Postulates for the Arithmetic Mean, the Geometric Mean, the Harmonic Mean, and the Root-Mean-Square | AMiner