Skip to main content
  • Conference proceedings
  • © 2013

Computer Algebra in Scientific Computing

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): CASC: International Workshop on Computer Algebra in Scientific Computing

Conference proceedings info: CASC 2013.

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-02297-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (35 papers)

  1. Front Matter

  2. Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One

    • Parisa Alvandi, Changbo Chen, Marc Moreno Maza
    Pages 30-45
  3. On Consistency of Finite Difference Approximations to the Navier-Stokes Equations

    • Pierluigi Amodio, Yuri Blinkov, Vladimir Gerdt, Roberto La Scala
    Pages 46-60
  4. Faster Sparse Interpolation of Straight-Line Programs

    • Andrew Arnold, Mark Giesbrecht, Daniel S. Roche
    Pages 61-74
  5. Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates

    • Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber
    Pages 88-99
  6. Simulation of Quantum Error Correction with Mathematica

    • Vladimir P. Gerdt, Alexander N. Prokopenya
    Pages 116-129
  7. Complexity in Tropical Algebra (Invited Talk)

    • Dima Grigoriev
    Pages 148-154
  8. Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Identical Particles with Pair Oscillator Interactions

    • Alexander Gusev, Sergue Vinitsky, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov et al.
    Pages 155-168
  9. Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics

    • Sergey A. Gutnik, Vasily A. Sarychev
    Pages 169-178
  10. On Stationary Sets of Euler’s Equations on so(3,1) and Their Stability

    • Valentin Irtegov, Tatyana Titorenko
    Pages 179-193
  11. Enumeration of Schur Rings over the Group A 5

    • Mikhail Klin, Matan Ziv-Av
    Pages 219-230

Other Volumes

  1. Computer Algebra in Scientific Computing

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

About this book

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
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Joint Institute for Nuclear Research, Moscow Region, Russia

    Vladimir P. Gerdt

  • Institut für Mathematik, Universität Kassel, Kassel, Germany

    Wolfram Koepf

  • Technische Universität München, Garching, Germany

    Ernst W. Mayr

  • Khristianovich Institute of Theoretical and Applied Mechanics, Russian Academy of Sciences, Novosibirsk, Russia

    Evgenii V. Vorozhtsov

Bibliographic Information

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-02297-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)