[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

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

  • Conference proceedings
  • © 2011

Overview

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)

Included in the following conference series:

Conference proceedings info: CASC 2011.

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

Similar content being viewed by others

Keywords

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. A Recurrent Method for Constructing Irreducible Polynomials over Finite Fields

    • Sergey Abrahamyan, Melsik Kyureghyan
    Pages 1-9

  3. Higher-Order Linear Differential Systems with Truncated Coefficients

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

  4. Topology of Families of Implicit Algebraic Surfaces Depending on a Parameter

    • Juan Gerardo Alcázar
    Pages 25-36

  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

  16. Symbolic-Numeric Investigation of the Aerodynamic Forces Influence on Satellite Dynamics

    • Sergey A. Gutnik
    Pages 192-199

  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

  20. Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition

    • Hidenao Iwane, Akifumi Kira, Hirokazu Anai
    Pages 239-250
Back to top

Other volumes

  1. Computer Algebra in Scientific Computing

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation