Type: | [any] [Papers] [Theses] [Technical Reports] [Other] |
Author: | [any] [Ablinger] [Paule] [Kauers] [Koutschan] [Pillwein] [Radu] [Schneider] |
Year: | [any] [2024] [2023] [2022] [2021] [2020] [2019] [earlier] |
Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals. The Ramanujan Journal 20(1), pp. 55-67. 2009. Springer, ISSN 1382-4090. [pdf] [bib] | |
An Algorithmic Approach to the Mellin Transform Method. Doctoral Program Computational Mathematics. Technical report no. DK-2009-03, November 2009. To appear in Contemporary Mathematics. [pdf] [bib] |