[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Computer Algebra in Scientific Computing

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Vladimir P. Gerdt

    1. Joint Institute for Nuclear Research, Moscow Region, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolfram Koepf

    1. Institut für Mathematik, Universität Kassel, Kassel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ernst W. Mayr

    1. Technische Universität München, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Evgenii V. Vorozhtsov

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: CASC 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (35 papers)

  1. Front Matter

    Download chapter PDF

  2. On the Dimension of Solution Spaces of Full Rank Linear Differential Systems

    • S. A. Abramov, M. A. Barkatou
    Pages 1-9

  3. Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n-roots Problem

    • Danko Adrovic, Jan Verschelde
    Pages 10-29

  4. 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

  5. On Consistency of Finite Difference Approximations to the Navier-Stokes Equations

    • Pierluigi Amodio, Yuri Blinkov, Vladimir Gerdt, Roberto La Scala
    Pages 46-60

  6. Faster Sparse Interpolation of Straight-Line Programs

    • Andrew Arnold, Mark Giesbrecht, Daniel S. Roche
    Pages 61-74

  7. On Possibility of Additional Solutions of the Degenerate System Near Double Degeneration at the Special Value of the Parameter

    • Alexander D. Bruno, Victor F. Edneral
    Pages 75-87

  8. 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

  9. Highly Scalable Multiplication for Distributed Sparse Multivariate Polynomials on Many-Core Systems

    • Mickaël Gastineau, Jacques Laskar
    Pages 100-115

  10. Simulation of Quantum Error Correction with Mathematica

    • Vladimir P. Gerdt, Alexander N. Prokopenya
    Pages 116-129

  11. From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk)

    • Andreas Griewank
    Pages 130-135

  12. Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small Degrees

    • Dima Grigoriev
    Pages 136-139

  13. Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations

    • Dima Grigoriev, Fritz Schwarz
    Pages 140-147

  14. Complexity in Tropical Algebra (Invited Talk)

    • Dima Grigoriev
    Pages 148-154

  15. 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

  16. Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics

    • Sergey A. Gutnik, Vasily A. Sarychev
    Pages 169-178

  17. On Stationary Sets of Euler’s Equations on so(3,1) and Their Stability

    • Valentin Irtegov, Tatyana Titorenko
    Pages 179-193

  18. An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification

    • Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai
    Pages 194-208

  19. Categories as Type Classes in the Scala Algebra System

    • Raphaël Jolly
    Pages 209-218

  20. Enumeration of Schur Rings over the Group A 5

    • Mikhail Klin, Matan Ziv-Av
    Pages 219-230
Back to top

Other volumes

  1. Computer Algebra in Scientific Computing

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

Publish with us

Policies and ethics

Back to top

Search

Navigation