Advances in Computer Algebra: In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada

Description

This book discusses the latest advances in algorithms for symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. It presents a collection of papers on original research topics from the Waterloo Workshop on Computer Algebra (WWCA-2016), a satellite workshop of the International Symposium on Symbolic and Algebraic Computation (ISSAC’2016), which was held at Wilfrid Laurier University (Waterloo, Ontario, Canada) on July 23–24, 2016. This workshop and the resulting book celebrate the 70th birthday of Sergei Abramov (Dorodnicyn Computing Centre of the Russian Academy of Sciences, Moscow), whose highly regarded and inspirational contributions to symbolic methods have become a crucial benchmark of computer algebra and have been broadly adopted by many Computer Algebra systems. Front Matter ....Pages i-xi On Strongly Non-singular Polynomial Matrices (Sergei A. Abramov, Moulay A. Barkatou)....Pages 1-17 On the Computation of Simple Forms and Regular Solutions of Linear Difference Systems (Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha)....Pages 19-49 Refined Holonomic Summation Algorithms in Particle Physics (Johannes Blümlein, Mark Round, Carsten Schneider)....Pages 51-91 Bivariate Extensions of Abramov’s Algorithm for Rational Summation (Shaoshi Chen)....Pages 93-104 A q-Analogue of the Modified Abramov-Petkovšek Reduction (Hao Du, Hui Huang, Ziming Li)....Pages 105-129 Factorization of C-Finite Sequences (Manuel Kauers, Doron Zeilberger)....Pages 131-147 Denominator Bounds for Systems of Recurrence Equations Using \(\varPi \varSigma \)-Extensions (Johannes Middeke, Carsten Schneider)....Pages 149-173 Representing (\(\varvec{q}\)–)Hypergeometric Products and Mixed Versions in Difference Rings (Evans Doe Ocansey, Carsten Schneider)....Pages 175-213 Linearly Satellite Unknowns in Linear Differential Systems (Anton A. Panferov)....Pages 215-227 Rogers-Ramanujan Functions, Modular Functions, and Computer Algebra (Peter Paule, Silviu Radu)....Pages 229-280