Skip to main content
SpringerLink
Log in

Computer Algebra in Scientific Computing CASC 2001

Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Victor G. Ganzha

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ernst W. Mayr

    1. Institut für Informatik, Technische Universität München, München, 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 Mathematics, Russian Academy of Sciences, Novosibirsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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 (41 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Jets. A Maple-Package for Formal Differential Geometry

    • Mohamed Barakat
    Pages 1-12

  3. Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloys

    • Thomas Bayer
    Pages 13-23

  4. A MuPAD Library for Differential Equations

    • Jay Belanger, Marcus Hausdorf, Werner M. Seiler
    Pages 25-42

  5. Algebraic Identification Algorithm and Application to Dynamical Systems

    • Farida Benmakrouha, Christiane Hespel, Gérard Jacob, Edouard Monnier
    Pages 43-61

  6. Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery

    • Francisco Botana, José L. Valcarce
    Pages 63-74

  7. On the Stability of Steady Motions of Solar-Sail Satellite

    • Larissa Bourlakova
    Pages 75-82

  8. Application of Computer Algebra for Investigation of Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas

    • Vasiliy V. Bublik
    Pages 83-89

  9. Mathematica and Nilpotent Lie Superalgebras

    • L. M. Camacho, J. R. Gómez, R. M. Navarro, I. Rodríguez
    Pages 91-105

  10. Neighborhoods of an Ordinary Linear Differential Equation

    • Giuseppa Carrà Ferro, Valentina Marotta
    Pages 107-121

  11. Invariants of Finite Groups and Involutive Division

    • C. F. Cid, W. Plesken
    Pages 123-135

  12. Symbolic Computation and Boundary Conditions for the Wave Equation

    • A. S. Deakin, H. Rasmussen
    Pages 137-147

  13. Parametric Systems of Linear Congruences

    • Andreas Dolzmann, Thomas Sturm
    Pages 149-166

  14. Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System

    • Victor F. Edneral
    Pages 167-175

  15. An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations

    • Joachim Engelmann, Gerd Baumann
    Pages 177-186

  16. Recurrence Functions and Numerical Characteristics of Graphs

    • Gani E. Ergashev, Ulugbek H. Narzullaev
    Pages 187-194

  17. A New Combinatorial Algorithm for Large Markov Chains (Extended Abstract)

    • Anna Gambin, Piotr Pokarowski
    Pages 195-211

  18. GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing

    • Victor G. Ganzha, Dmytro Chibisov, Evgenii V. Vorozhtsov
    Pages 213-232

  19. Construction of Janet Bases I. Monomial Bases

    • Vladimir P. Gerdt, Yuri A. Blinkov, Denis A. Yanovich
    Pages 233-247

  20. Construction of Janet Bases II. Polynomial Bases

    • Vladimir P. Gerdt, Yuri A. Blinkov, Denis A. Yanovich
    Pages 249-263
Back to top

Keywords

About this book

CASC 2001 continues a tradition ~ started in 1998 ~ of international con­ ferences on the latest advances in the application of computer algebra systems to the solution of various problems in scientific computing. The three ear­ (CASs) lier conferences in this sequence, CASC'98, CASC'99, and CASC 2000, were held, Petersburg, Russia, in Munich, Germany, and in Samarkand, respectively, in St. Uzbekistan, and proved to be very successful. We have to thank the program committee, listed overleaf, for a tremendous job in soliciting and providing reviews for the submitted papers. There were more than three reviews per submission on average. The result of this job is reflected in the present volume, which contains revised versions of the accepted papers. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scientific computing. In particular, five papers are devoted to the implementation of the analysis of involutive systems with the aid of CASso The specific examples include new efficient algorithms for the computation of Janet bases for monomial ideals, involutive division, involutive reduction method, etc. A number of papers deal with application of CASs for obtaining and vali­ dating new exact solutions to initial and boundary value problems for partial differential equations in mathematical physics. Several papers show how CASs can be used to obtain analytic solutions of initial and boundary value problems for ordinary differential equations and for studying their properties.

Editors and Affiliations

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

    Victor G. Ganzha, Ernst W. Mayr

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

    Evgenii V. Vorozhtsov

Bibliographic Information

  • Book Title: Computer Algebra in Scientific Computing CASC 2001

  • Book Subtitle: Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001

  • Editors: Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov

  • DOI: https://doi.org/10.1007/978-3-642-56666-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2001

  • Hardcover ISBN: 978-3-540-42355-3Published: 11 September 2001

  • Softcover ISBN: 978-3-642-62684-5Published: 28 October 2012

  • eBook ISBN: 978-3-642-56666-0Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XI, 555

  • Topics: Algorithms, Theoretical, Mathematical and Computational Physics, Algorithm Analysis and Problem Complexity

Publish with us

Policies and ethics

Back to top

Search

Navigation