On subdiagonal rational Padé approximations and the Brenner-Thomée approximation theorem for operator semigroups

The computational powers of Mathematica are used to prove polynomial identities that are essential to obtain growth estimates for subdiagonal rational Pade approximations of the exponential function and to obtain new estimates of the constants of the Brenner-Thomee Approximation Theorem of Semigroup Theory.