Stan, Flavia Computer-assisted proofs of special function identities related to Poisson integrals. (English) Zbl 1182.33017 Ramanujan J. 20, No. 1, 55-67 (2009). MSC: 33C45 40B05 33F10 PDFBibTeX XMLCite \textit{F. Stan}, Ramanujan J. 20, No. 1, 55--67 (2009; Zbl 1182.33017) Full Text: DOI
Pillwein, Veronika Positivity of certain sums over Jacobi kernel polynomials. (English) Zbl 1173.33009 Adv. Appl. Math. 41, No. 3, 365-377 (2008). Reviewer: Roelof Koekoek (Delft) MSC: 33C45 65N30 PDFBibTeX XMLCite \textit{V. Pillwein}, Adv. Appl. Math. 41, No. 3, 365--377 (2008; Zbl 1173.33009) Full Text: DOI
Bećirović, A.; Paule, P.; Pillwein, V.; Riese, A.; Schneider, C.; Schöberl, J. Hypergeometric summation algorithms for high-order finite elements. (English) Zbl 1113.65105 Computing 78, No. 3, 235-249 (2006). Reviewer: Georg Hebermehl (Berlin) MSC: 65N30 33C45 33F10 68W30 65F35 35J25 65F10 PDFBibTeX XMLCite \textit{A. Bećirović} et al., Computing 78, No. 3, 235--249 (2006; Zbl 1113.65105) Full Text: DOI