Proving isometry for homogeneous Einstein metrics on flag manifolds by symbolic computation. - Andreas Arvanitoyeorgos; Ioannis Chrysikos; Yusuke Sakane (J. Symb. Comput., 2013)