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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-02297-0
  • Copyright Information Springer International Publishing Switzerland 2013
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-02296-3
  • Online ISBN 978-3-319-02297-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book