Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2011

Computer Algebra in Scientific Computing

13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

Editors:

  1. Vladimir P. Gerdt

    1. Laboratory of Information Technologies (LIT), Joint Institute for Nuclear Research (JINR), Dubna, 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. Institut für Informatik, Lehrstuhl für Effiziente Algorithmen, 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. Institute of Theoretical and Applied Mechanics, Russian Academy of Sciences, 630090, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

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

Sections

Buy it now

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

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

Table of contents (28 papers)

  1. Front Matter

    PDF

  3. Higher-Order Linear Differential Systems with Truncated Coefficients

    • S. A. Abramov, M. A. Barkatou, E. Pflügel
    Pages 10-24

  5. A Modular Approach for Beam Lines Design

    • Serge N. Andrianov
    Pages 37-48

  6. Computations on Simple Games Using RelView

    • Rudolf Berghammer, Agnieszka Rusinowska, Harrie de Swart
    Pages 49-60

  7. On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains

    • François Boulier, François Lemaire, Alexandre Sedoglavic
    Pages 61-72

  8. Chemical Reaction Systems, Computer Algebra and Systems Biology

    • François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic
    Pages 73-87

  9. On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem

    • Dzmitry A. Budzko, Alexander N. Prokopenya
    Pages 88-100

  10. Semi-algebraic Description of the Equilibria of Dynamical Systems

    • Changbo Chen, Marc Moreno Maza
    Pages 101-125

  11. Normal Forms of Two p: − q Resonant Polynomial Vector Fields

    • Victor Edneral, Valery G. Romanovski
    Pages 126-134

  12. On Muldowney’s Criteria for Polynomial Vector Fields with Constraints

    • Hassan Errami, Werner M. Seiler, Thomas Sturm, Andreas Weber
    Pages 135-143

  13. Knowledge-Based Automatic Generation of Partitioned Matrix Expressions

    • Diego Fabregat-Traver, Paolo Bientinesi
    Pages 144-157

  14. Involutive Division Generated by an Antigraded Monomial Ordering

    • Vladimir P. Gerdt, Yuri A. Blinkov
    Pages 158-174

  15. Symbolic-Numerical Algorithms to Solve the Quantum Tunneling Problem for a Coupled Pair of Ions

    • A. A. Gusev, S. I. Vinitsky, O. Chuluunbaatar, V. P. Gerdt, V. A. Rostovtsev
    Pages 175-191

  17. Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic

    • William Hart, Andrew Novocin
    Pages 200-214

  18. Fast and Robust Symbolic Model Order Reduction with Analog Insydes

    • Matthias Hauser, Christian Salzig, Alexander Dreyer
    Pages 215-225

  19. On Invariant Manifolds of Lagrange Systems

    • Valentin Irtegov, Tatyana Titorenko
    Pages 226-238
Back to top

Other Volumes

  1. Computer Algebra in Scientific Computing

Back to top

About this book

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kassel, Germany, in September 2011. The 26 full papers included in the book were carefully reviewed and selected from numerous submissions. The articles are organized in topical sections on the development of object oriented computer algebra software for the modeling of algebraic structures as typed objects; matrix algorithms; the investigation with the aid of computer algebra; the development of symbolic-numerical algorithms; and the application of symbolic computations in applied problems of physics, mechanics, social science, and engineering.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Laboratory of Information Technologies (LIT), Joint Institute for Nuclear Research (JINR), Dubna, Russia

    Vladimir P. Gerdt

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

    Wolfram Koepf

  • Institut für Informatik, Lehrstuhl für Effiziente Algorithmen, Technische Universität München, Garching, Germany

    Ernst W. Mayr

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

    Evgenii V. Vorozhtsov

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation