Computer Algebra in Scientific Computing

15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

  • Vladimir P. Gerdt
  • Wolfram Koepf
  • Ernst W. Mayr
  • Evgenii V. Vorozhtsov
Conference proceedings CASC 2013

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

Table of contents

  1. Front Matter
  2. Parisa Alvandi, Changbo Chen, Marc Moreno Maza
    Pages 30-45
  3. Pierluigi Amodio, Yuri Blinkov, Vladimir Gerdt, Roberto La Scala
    Pages 46-60
  4. Andrew Arnold, Mark Giesbrecht, Daniel S. Roche
    Pages 61-74
  5. Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber
    Pages 88-99
  6. Vladimir P. Gerdt, Alexander N. Prokopenya
    Pages 116-129
  7. Dima Grigoriev
    Pages 148-154
  8. Alexander Gusev, Sergue Vinitsky, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov et al.
    Pages 155-168
  9. Sergey A. Gutnik, Vasily A. Sarychev
    Pages 169-178
  10. Valentin Irtegov, Tatyana Titorenko
    Pages 179-193
  11. Mikhail Klin, Matan Ziv-Av
    Pages 219-230
  12. Kosaku Nagasaka, Takaaki Masui
    Pages 257-272
  13. Eugenio Roanes-Lozano, Eugenio Roanes-Macías
    Pages 288-300
  14. Tateaki Sasaki, Daiju Inaba, Fujio Kako
    Pages 315-330
  15. Stefan Schirra
    Pages 331-339
  16. L. Sevastianov, A. Zorin, A. Gorbachev
    Pages 369-380
  17. Ehsan Ullah
    Pages 401-411
  18. Sergue Vinitsky, Alexander Gusev, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov et al.
    Pages 427-442
  19. Back Matter

About these proceedings


This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2013, held in Berlin, Germany, in September 2013. The 33 full papers presented were carefully reviewed and selected for inclusion in this book.

The papers address issues such as polynomial algebra; the solution of tropical linear systems and tropical polynomial systems; the theory of matrices; the use of computer algebra for the investigation of various mathematical and applied topics related to ordinary differential equations (ODEs); applications of symbolic computations for solving partial differential equations (PDEs) in mathematical physics; problems arising at the application of computer algebra methods for finding infinitesimal symmetries; applications of symbolic and symbolic-numeric algorithms in mechanics and physics; automatic differentiation; the application of the CAS Mathematica for the simulation of quantum error correction in quantum computing; the application of the CAS GAP for the enumeration of Schur rings over the group A5; constructive computation of zero separation bounds for arithmetic expressions; the parallel implementation of fast Fourier transforms with the aid of the Spiral library generation system; the use of object-oriented languages such as Java or Scala for implementation of categories as type classes; a survey of industrial applications of approximate computer algebra.


complexity holonomic functions long integers parallel algorithms polynomial factorization

Editors and affiliations

  • Vladimir P. Gerdt
    • 1
  • Wolfram Koepf
    • 2
  • Ernst W. Mayr
    • 3
  • Evgenii V. Vorozhtsov
    • 4
  1. 1.Joint Institute for Nuclear ResearchMoscow RegionRussia
  2. 2.Institut für MathematikUniversität KasselKasselGermany
  3. 3.Technische Universität MünchenGarchingGermany
  4. 4.Khristianovich Institute of Theoretical and Applied MechanicsRussian Academy of SciencesNovosibirskRussia

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2013
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-02296-3
  • Online ISBN 978-3-319-02297-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment