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] |
Algorithms for symbolic summation and inequality proving. 2011. Software presentation at International Conference on Asymptotics and Special Functions, Hong Kong. [bib] |