Skip to main content
SpringerLink
Log in

Computer Algebra in Scientific Computing

11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Vladimir P. Gerdt

    1. Joint Institute for Nuclear Research, Laboratory of Information Technologies, Dubna, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ernst W. Mayr

    1. Technische Universität München‘, Institut für Informatik, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Evgenii V. Vorozhtsov

    1. 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 5743)

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

Included in the following conference series:

Conference proceedings info: CASC 2009.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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

Table of contents (31 papers)

  1. Front Matter

    Download chapter PDF

  2. On m-Interlacing Solutions of Linear Difference Equations

    • S. A. Abramov, M. A. Barkatou, D. E. Khmelnov
    Pages 1-17

  3. Parametric Analysis of Stability Conditions for a Satellite with Gyrodines

    • Andrey V. Banshchikov
    Pages 18-28

  4. Computing and Visualizing Closure Objects Using Relation Algebra and RelView

    • Rudolf Berghammer, Bernd Braßel
    Pages 29-44

  5. On Integrability of a Planar ODE System Near a Degenerate Stationary Point

    • Alexander Bruno, Victor Edneral
    Pages 45-53

  6. Conditions of D-Stability of the Fifth-Order Matrices

    • Larisa A. Burlakova
    Pages 54-65

  7. Code Generation for Polynomial Multiplication

    • Ling Ding, Éric Schost
    Pages 66-78

  8. Solving Structured Polynomial Systems and Applications to Cryptology

    • Jean-Charles Faugère
    Pages 79-80

  9. The Comparison Method of Physical Quantity Dimensionalities

    • Alexander V. Flegontov, M. J. Marusina
    Pages 81-88

  10. Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities

    • Jin-San Cheng, Xiao-Shan Gao, Jia Li
    Pages 89-93

  11. Involution and Difference Schemes for the Navier–Stokes Equations

    • Vladimir P. Gerdt, Yuri A. Blinkov
    Pages 94-105

  12. A Mathematica Package for Simulation of Quantum Computation

    • Vladimir P. Gerdt, Robert Kragler, Alexander N. Prokopenya
    Pages 106-117

  13. On Computing the Hermite Form of a Matrix of Differential Polynomials

    • Mark Giesbrecht, Myung Sub Kim
    Pages 118-129

  14. On the Computation of Comprehensive Boolean Gröbner Bases

    • Shutaro Inoue
    Pages 130-141

  15. On Invariant Manifolds of Dynamical Systems in Lie Algebras

    • Valentin Irtegov, Tatyana Titorenko
    Pages 142-154

  16. On the Complexity of Reliable Root Approximation

    • Michael Kerber
    Pages 155-167

  17. Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation

    • Takuya Kitamoto
    Pages 168-179

  18. Discrete Dynamics: Gauge Invariance and Quantization

    • Vladimir V. Kornyak
    Pages 180-194

  19. Effective Quantifier Elimination for Presburger Arithmetic with Infinity

    • Aless Lasaruk, Thomas Sturm
    Pages 195-212

  20. An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy

    • Natasha Malaschonok
    Pages 213-225
Back to top

Other volumes

  1. Computer Algebra in Scientific Computing

Keywords

About this book

This book constitutes the refereed proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC 2009, held in Kobe, Japan, in September 2009. The 28 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from numerous submissions. The topics addressed are all basic areas of scientific computing as they benefit from the application of computer algebra methods and software. The papers cover computer algebra methods and algorithms, application of symbolic and algebraic manipulation, and CA methods and results for the numerical integration of the partial differential equations of the mathematical physics.

Editors and Affiliations

  • Joint Institute for Nuclear Research, Laboratory of Information Technologies, Dubna, Russia

    Vladimir P. Gerdt

  • Technische Universität München‘, Institut für Informatik, Garching, Germany

    Ernst W. Mayr

  • 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