Skip to main content
SpringerLink
Log in
Book cover

Computer Algebra in Scientific Computing

17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Vladimir P. Gerdt

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolfram Koepf

    1. Institute for Mathematics, Universität Kassel, Kassel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Werner M. Seiler

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Evgenii V. Vorozhtsov

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

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

Included in the following conference series:

Conference proceedings info: CASC 2015.

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

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients

    • S. A. Abramov, M. Petkovšek, A. A. Ryabenko
    Pages 1-14

  3. Janet Bases and Resolutions in CoCoALib

    • Mario Albert, Matthias Fetzer, Werner M. Seiler
    Pages 15-29

  4. Regular Chains under Linear Changes of Coordinates and Applications

    • Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza
    Pages 30-44

  5. A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve

    • Parisa Alvandi, Marc Moreno Maza, Éric Schost, Paul Vrbik
    Pages 45-60

  6. Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Means of Symbolic-Numerical Modelling

    • Andrei V. Banshchikov
    Pages 61-71

  7. A New Approach for Computing Regular Solutions of Linear Difference Systems

    • Moulay Barkatou, Thomas Cluzeau, Carole El Bacha
    Pages 72-86

  8. Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation

    • Nathan Bliss, Jeff Sommars, Jan Verschelde, Xiangcheng Yu
    Pages 87-100

  9. Finding First Integrals Using Normal Forms Modulo Differential Regular Chains

    • François Boulier, François Lemaire
    Pages 101-118

  10. Simplification of Cylindrical Algebraic Formulas

    • Changbo Chen, Marc Moreno Maza
    Pages 119-134

  11. Quasi-Steady State – Intuition, Perturbation Theory and Algorithmic Algebra

    • Alexandra Goeke, Sebastian Walcher, Eva Zerz
    Pages 135-151

  12. Polynomial Complexity Recognizing a Tropical Linear Variety

    • Dima Grigoriev
    Pages 152-157

  13. Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations

    • Dima Grigoriev, Fritz Schwarz
    Pages 158-165

  14. Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group

    • A. A. Gusev, V. P. Gerdt, S. I. Vinitsky, V. L. Derbov, A. Góźdź, A. Pędrak
    Pages 166-181

  15. Symbolic-Numeric Solution of Boundary-Value Problems for the Schrödinger Equation Using the Finite Element Method: Scattering Problem and Resonance States

    • A. A. Gusev, L. Le Hai, O. Chuluunbaatar, V. Ulziibayar, S. I. Vinitsky, V. L. Derbov et al.
    Pages 182-197

  16. Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of Satellite

    • Sergey A. Gutnik, Anna Guerman, Vasily A. Sarychev
    Pages 198-209

  17. Bounds for the Condition Number of Polynomials Systems with Integer Coefficients

    • Aaron Herman, Elias Tsigaridas
    Pages 210-219

  18. On Invariant Manifolds and Their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force Fields

    • Valentin Irtegov, Tatiana Titorenko
    Pages 220-232

  19. Homotopy Analysis Method for Stochastic Differential Equations with Maxima

    • Maciej Janowicz, Joanna Kaleta, Filip Krzyżewski, Marian Rusek, Arkadiusz Orłowski
    Pages 233-244

  20. On the Topology and Visualization of Plane Algebraic Curves

    • Kai Jin, Jin-San Cheng, Xiao-Shan Gao
    Pages 245-259
Back to top

Other volumes

  1. Computer Algebra in Scientific Computing

Keywords

About this book

This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015.

The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra and its expanding applications. New and closer interactions are fostered by combining the area of computer algebra methods and systems and the application of the tools of computer algebra for the solution of problems in scientific computing.

Editors and Affiliations

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

    Vladimir P. Gerdt

  • Institute for Mathematics, Universität Kassel, Kassel, Germany

    Wolfram Koepf

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

    Werner M. Seiler

  • Novosibirsk, Russia

    Evgenii V. Vorozhtsov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation