RISC JKU

Algorithmic Combinatorics Publications

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

Flavia Stan. 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]