Computer algebra for special function inequalities

被引：0
作者：
Kauers, Manuel [1 ]
机构：
[1] Johannes Kepler Univ Linz, Res Inst Symbol Computat, Linz, Austria
来源：
TAPAS IN EXPERIMENTAL MATHEMATICS | 2008年 / 457卷
关键词：
special functions; inequalities; computer algebra; cylindrical decomposition;
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：215 / 235
页数：21
相关论文
共 57 条
  • [1] Abramowitz M., 1970, HDB MATH FUNCTIONS
  • [2] AKBARPOUR B, 2006, PDPAR PRAGMATICS DEC, P27
  • [3] On Turan's inequality for Legendre polynomials
    Alzer, Horst
    Gerhold, Stefan
    Kauers, Manuel
    Lupas, Alexandru
    [J]. EXPOSITIONES MATHEMATICAE, 2007, 25 (02) : 181 - 186
  • [4] ANAI H, 2005, ALGEBRAIC BIOL COMPU, P139
  • [5] [Anonymous], 2004, IRRESISTIBLE INTEGRA
  • [6] [Anonymous], 1999, ENCY MATH APPL
  • [7] [Anonymous], 1933, MATH Z
  • [8] CERTAIN RATIONAL FUNCTIONS WHOSE POWER-SERIES HAVE POSITIVE COEFFICIENTS
    ASKEY, R
    GASPER, G
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1972, 79 (04) : 327 - &
  • [9] POSITIVE JACOBI POLYNOMIAL SUMS, .2.
    ASKEY, R
    GASPER, G
    [J]. AMERICAN JOURNAL OF MATHEMATICS, 1976, 98 (03) : 709 - 737
  • [10] BOROS G, 1999, ELECT J COMBINATORIC, V6
123456