On a Conjectured Inequality for a Sum of Legendre Polynomials
暂无分享,去创建一个
[1] Leon M. Hall,et al. Special Functions , 1998 .
[2] George G. Lorentz,et al. Constructive Approximation , 1993, Grundlehren der mathematischen Wissenschaften.
[3] Kurt Wegschaider,et al. Computer Generated Proofs of Binomial Multi-Sum Identities , 1997 .
[4] Manuel Kauers,et al. SumCracker: A package for manipulating symbolic sums and related objects , 2006, J. Symb. Comput..
[5] Christian Mallinger,et al. Algorithmic Manipulations and Transformations of Univariate Holonomic Functions and Sequences , 2001 .
[6] Rene F. Swarttouw,et al. Orthogonal polynomials , 2020, NIST Handbook of Mathematical Functions.
[7] G. Gasper. Positivity and the Convolution Structure for Jacobi Series , 1971 .