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

中文翻译：

---

算符半群的次对角有理Padé逼近和Brenner-Thomée逼近定理

Mathematica的计算能力用于证明多项式恒等式，这些多项式对获得指数函数的对角有理Padé逼近的增长估计以及获得半群理论的Brenner-Thomée逼近定理的常数的新估计至关重要。