Computer Algebra in Scientific Computing

18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

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

DOI: 10.1007/978-3-319-45641-6

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Mario Albert, Werner M. Seiler
    Pages 15-29
  3. Winfried Auzinger, Wolfgang Herfort, Harald Hofstätter, Othmar Koch
    Pages 30-42
  4. Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
    Pages 58-72
  5. D. V. Bogdanov, A. A. Kytmanov, T. M. Sadykov
    Pages 87-100
  6. Charles Bouillaguet, Claire Delaplace
    Pages 101-116
  7. Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias Kotsireas, Saeed Nejati, Krzysztof Czarnecki
    Pages 117-133
  8. Cristian S. Calude, Declan Thompson
    Pages 134-155
  9. A. A. Gusev, V. P. Gerdt, L. L. Hai, V. L. Derbov, S. I. Vinitsky, O. Chuluunbaatar
    Pages 212-227
  10. A. A. Gusev, V. P. Gerdt, S. I. Vinitsky, V. L. Derbov, A. Góźdź, A. Pȩdrak et al.
    Pages 228-242
  11. Amir Hashemi, Delaram Talaashrafi
    Pages 276-288

About these proceedings

Introduction

This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016.
The 32 papers presented in this volume were carefully reviewed and selected from 39 submissions. They deal with cutting-edge research in all major disciplines of Computer Algebra. 

Keywords

algorithms design finite element method parallel processing quantum computation theory symbolic algorithms algebraic algorithms analysis of algorithms applications to natural sciences and engineering automated reasoning complexity computability computer algebra systems differential equations engineering Gröbner bases logic mathematical software natural sciences numerical analysis simulation and modeling

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.Institut für MathematikUniversität KasselKasselGermany
  3. 3.Institut für MathematikUniversität KasselKasselGermany
  4. 4.Institute of Theoretical and Applied MechanicsRussian Academy of SciencesNovosibirskRussia

Bibliographic information

  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-45640-9
  • Online ISBN 978-3-319-45641-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349