Computer aided solution of the invariance equation for two-variable Stolarsky means

In the proof first we approximate the Stolarsky mean and we use the computer-algebra system Maple V Release 9 to compute the Taylor expansion of the approximation up to 12th order, which enables us to describe all the cases of the equality.