### Symbolic Summation in Difference Rings and Challenging Applications

ABSTRACT: My main research interest is computer algebra: I develop algorithmic theories in algebra, implement efficient and stable software packages based on these sophisticated theories, and apply them to non-trivial problems in mathematics and interdisciplinary research areas. In the first ...