© 2015

Computer Algebra in Scientific Computing

17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

  • Vladimir P. Gerdt
  • Wolfram Koepf
  • Werner M. Seiler
  • Evgenii V. Vorozhtsov
Conference proceedings CASC 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Mario Albert, Matthias Fetzer, Werner M. Seiler
    Pages 15-29
  3. Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza
    Pages 30-44
  4. Parisa Alvandi, Marc Moreno Maza, Éric Schost, Paul Vrbik
    Pages 45-60
  5. Moulay Barkatou, Thomas Cluzeau, Carole El Bacha
    Pages 72-86
  6. Nathan Bliss, Jeff Sommars, Jan Verschelde, Xiangcheng Yu
    Pages 87-100
  7. François Boulier, François Lemaire
    Pages 101-118
  8. Changbo Chen, Marc Moreno Maza
    Pages 119-134
  9. Alexandra Goeke, Sebastian Walcher, Eva Zerz
    Pages 135-151
  10. A. A. Gusev, V. P. Gerdt, S. I. Vinitsky, V. L. Derbov, A. Góźdź, A. Pędrak
    Pages 166-181
  11. A. A. Gusev, L. Le Hai, O. Chuluunbaatar, V. Ulziibayar, S. I. Vinitsky, V. L. Derbov et al.
    Pages 182-197
  12. Maciej Janowicz, Joanna Kaleta, Filip Krzyżewski, Marian Rusek, Arkadiusz Orłowski
    Pages 233-244
  13. Kai Jin, Jin-San Cheng, Xiao-Shan Gao
    Pages 245-259

About these proceedings


This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015.

The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra and its expanding applications. New and closer interactions are fostered by combining the area of computer algebra methods and systems and the application of the tools of computer algebra for the solution of problems in scientific computing.


automated reasoning computer algebra systems differential equations mathematical software quantum computation theory applications to natural sciences and engineering cloud computing complexity computability design and analysis of algorithms differential algebra finite element methods gröbner bases linear algebra logic modeling and simulation numerical analysis object oriented programming symbolic and algebraic algorithms Web interface

Editors and affiliations

  • Vladimir P. Gerdt
    • 1
  • Wolfram Koepf
    • 2
  • Werner M. Seiler
    • 3
  • Evgenii V. Vorozhtsov
    • 4
  1. 1.Laboratory of Information TechnologiesJoint Institute of Nuclear ResearchDubnaRussia
  2. 2.Institute for MathematicsUniversität KasselKasselGermany
  3. 3.Institut für MathematikUniversität KasselKasselGermany
  4. 4.NovosibirskRussia

Bibliographic information

Industry Sectors
Materials & Steel
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment