Computer algebra for special function inequalities
Manuel Kauers · Contemporary mathematics - American Mathematical Society · 2008
Abstract. Recent computer proofs for some special function inequalities are presented. The algorithmic ideas underlying these computer proofs are described, and the conceptual difference to existing algorithms for proving special function identities is discussed. 1.