Computer Algebra in Scientific Computing

22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings

  • François Boulier
  • Matthew England
  • Timur M. Sadykov
  • Evgenii V. Vorozhtsov
Conference proceedings CASC 2020

Part of the Lecture Notes in Computer Science book series (LNCS, volume 12291)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12291)

Table of contents

  1. Front Matter
    Pages i-xvii
  2. Edic A. Ayryan, Mikhail D. Malykh, Leonid A. Sevastianov, Yu Ying
    Pages 77-90
  3. Alexander Brandt, Mahsa Kazemi, Marc Moreno-Maza
    Pages 108-128
  4. Christopher W. Brown, Scott McCallum
    Pages 129-149
  5. Boming Chi, Akira Terui
    Pages 170-187
  6. Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders
    Pages 188-205
  7. Algirdas Deveikis, Alexander A. Gusev, Vladimir P. Gerdt, Sergue I. Vinitsky, Andrzej Góźdź, Aleksandra Pȩdrak et al.
    Pages 206-227
  8. Dmitriy V. Divakov, Anastasiia A. Tiutiunnik, Anton L. Sevastianov
    Pages 228-244
  9. Amir Hashemi, Joos Heintz, Luis M. Pardo, Pablo Solernó
    Pages 245-265
  10. Rui-Juan Jing, Marc Moreno-Maza, Delaram Talaashrafi
    Pages 282-306
  11. Raphaël Jolly
    Pages 307-315
  12. Elizaveta A. Kalinina, Yuri A. Smol’kin, Alexei Yu. Uteshev
    Pages 316-334
  13. Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang
    Pages 335-357
  14. Manuel Kauers, Jakob Moosbauer
    Pages 358-367
  15. Daniela Kaufmann, Armin Biere
    Pages 368-389
  16. Sebastian Lindner, Laurent Imbert, Michael J. Jacobson Jr.
    Pages 402-420
  17. Yang Liu, Dmitry Lyakhov, Dominik L. Michels
    Pages 421-430
  18. Qi Luan, Victor Y. Pan, Wongeun Kim, Vitaly Zaderman
    Pages 431-446
  19. Hamid Rahkooy, Thomas Sturm
    Pages 510-527
  20. Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima
    Pages 543-562
  21. Back Matter
    Pages 643-644

About these proceedings


This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic.

The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.


adaptive algorithms artificial intelligence computational efficiency computer hardware correlation analysis difference schemes differential equations factorization graph theory matrix algebra numerical example numerical methods ordinary differential equations robotics robots signal processing software engineering

Editors and affiliations

  1. 1.University of LilleVilleneuve d’AscqFrance
  2. 2.Coventry UniversityCoventryUK
  3. 3.Plekhanov Russian University of EconomicsMoscowRussia
  4. 4.Institute of Theoretical and Applied MechanicsNovosibirskRussia

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2020
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-60025-9
  • Online ISBN 978-3-030-60026-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site