| Conference |
Waterloo Workshop in Computer Algebra (2016 : Waterloo, Ont.)
|
| Series |
Springer proceedings in mathematics & statistics, 2194-1009 ; volume 226 |
|
Springer proceedings in mathematics & statistics ;
v. 226.
2194-1009
|
| Subject |
Computer science -- Mathematics -- Congresses.
|
|
Computer algorithms -- Congresses.
|
| Alt Name |
Schneider, Carsten Q., 1972-
|
|
Zima, E. V. (Evgeniĭ Viktorovich),
|
|
Abramov, Sergei,
|
| Add Title |
WWCA 2016 |
| Description |
1 online resource (xi, 280 pages) : illustrations (some color). |
|
polychrome rdacc |
| Summary |
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. |
| Contents |
Intro; Preface; Contents; On Strongly Non-singular Polynomial Matrices; 1 Introduction; 2 Preliminaries; 3 Strongly Non-singular Polynomial Matrices; 4 Inverse Matrix; 5 Product of Strongly Non-singular Matrices; 6 Width and s-Width of Non-singular Matrices with Power Series Entries; 7 Linear Differential Systems with Truncated Coefficients; 7.1 Width and s-Width of Differential Systems of Full Rank; 7.2 When Only a Truncated System is Known; References; On the Computation of Simple Forms and Regular Solutions of Linear Difference Systems; 1 Introduction; 2 Preliminaries. |
|
Sergei A. Abramov and Moulay A. Barkatou, On Strongly Non-Singular Polynomial Matrices -- Moulay Barkatou, Thomas Cluzeau and Carole El Bacha, On the Computation of Simple Forms and Regular Solutions of Linear Difference Systems -- Johannes Blumlein, Mark Round and Carsten Schneider, Refined Holonomic Summation Algorithms in Particle Physics -- Shaoshi Chen, Bivariate Extensions of Abramov's Algorithm for Rational Summation -- Hao Du, Hui Huang and Ziming Li, A q-Analogue of the Modified Abramov-Petkovsek Reduction -- Manuel Kauers and Doron Zeilberger, Factorization of C-finite Sequences -- Johannes Middeke and Carsten Schneider, Denominator Bounds for Systems of Recurrence Equations using ΠΣ-Extensions -- Evans Doe Ocansey and Carsten Schneider, Representing (q- )Hypergeometric Products and Mixed Versions in Difference Rings -- Anton A. Panferov, Linearly Satellite Unknowns in Linear Differential Systems -- Peter Paule and Silviu Radu, Rogers-Ramanujan Functions, Modular Functions, and Computer Algebra. |
| Note |
Online resource; title from PDF title page (SpringerLink, viewed February 28, 2018). |
| ISBN |
9783319732329 (electronic bk.) |
|
3319732323 (electronic bk.) |
|
9783319732312 (print) |
|
3319732315 |
| ISBN/ISSN |
10.1007/978-3-319-73232-9 |
| OCLC # |
1025340839 |
| Additional Format |
Printed edition: 9783319732312 |
|
Search 
Search 
Previous Item
Permanent Link
