Advances in Computer Algebra (eBook)

In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada

Carsten Schneider, Eugene Zima (Herausgeber)

eBook Download: PDF

2018
XI, 280 Seiten
Springer International Publishing (Verlag)
978-3-319-73232-9 (ISBN)

Infos

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.

Inhalt

Asymptotic Log-convexityManuel Kauers, Johannes Kepler University, AustriaDoron Zeilberger, Rutgers University, USAFactorization of C-finite SequencesChristoph Koutschan, RICAM, AustriaInverse Inequality Estimates with Symbolic ComputationZiming Li, Chinese Academy of Sciences, ChinaJohannes Middeke, RISC, Johannes Kepler University Linz, AustriaDenominator Bounds for Higher Order Recurrence SystemsMark Round, Johannes Kepler University Linz, AustriaTrading field extensions and recurrence order through refined holonomic summationEvans Doe Ocansey, RISC, Johannes Kepler University Linz, AustriaRepresentation of (q)-hypergeometric products and mixed versions in difference ringsCarsten Schneider, RISC, Johannes Kepler University Linz, AustriaCharacterizations of RΠΣ∗-extensionsEric Schost, University of Waterloo, CanadaLifting techniques for Hermite-Pad´e approximantsVo Ngoc Thieu, RISC,Johannes Kepler University Linz, AustriaAn Algorithm For Computing Rational General Solutions of First-order Algebraic ODEsEugene Zima, WLU, CanadaLinear time minimization of summable part in Abramov's algorithms for rational summation

Produkt-Details

• Erscheint lt. Verlag: 26.2.2018
• Reihe/Serie: Springer Proceedings in Mathematics & Statistics
• Reihe/Serie: Springer Proceedings in Mathematics & Statistics
• Zusatzinfo: XI, 280 p. 2 illus., 1 illus. in color.
• Verlagsort: Cham
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik
• Themenwelt: Mathematik / Informatik ► Mathematik
• Themenwelt: Naturwissenschaften ► Physik / Astronomie
• Schlagworte: combinatorics • Complexity • Computer Algebra • mathematical software • Special Functions • Symbolic integration • symbolic summation
• ISBN-10: 3-319-73232-3 / 3319732323
• ISBN-13: 978-3-319-73232-9 / 9783319732329