Skip to main content
SpringerLink
Log in

Computer Algebra in Scientific Computing

9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Victor G. Ganzha

    1. Institute of Informatics, Technische Universität München, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ernst W. Mayr

    1. Institute of Informatics, Technische Universität München, 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 4194)

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

Included in the following conference series:

Conference proceedings info: CASC 2006.

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

  1. Cellular Automata with Symmetric Local Rules

    • Vladimir V. Kornyak
    Pages 240-250

  2. Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations

    • Natasha Malaschonok
    Pages 251-260

  3. On Connection Between Constructive Involutive Divisions and Monomial Orderings

    • Alexander Semenov
    Pages 261-278

  4. A Symbolic-Numeric Approach to Tube Modeling in CAD Systems

    • Gerrit Sobottka, Andreas Weber
    Pages 279-283

  5. Inequalities on Upper Bounds for Real Polynomial Roots

    • Doru Ştefănescu
    Pages 284-294

  6. New Domains for Applied Quantifier Elimination

    • Thomas Sturm
    Pages 295-301

  7. Algorithms for Symbolic Polynomials

    • Stephen M. Watt
    Pages 302-302

  8. Testing Mersenne Primes with Elliptic Curves

    • Song Y. Yan, Glyn James
    Pages 303-312

  9. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Computer Algebra in Scientific Computing

Keywords

About this book

This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers not only various expanding applications of computer algebra to scienti?c computing but also the computer algebra systems themselves and the CA algorithms. The eight earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, CASC 2004, and CASC 2005 were held, - spectively, in St. Petersburg, Russia, in Munich, Germany, in Samarkand, Uzb- istan, in Konstanz, Germany, in Crimea, Ukraine, in Passau, Germany, in St. Petersburg, Russia, and in Kalamata, Greece, and they proved to be successful. It was E. A. Grebenikow (Computing Center of the Russian Academy of S- ences, Moscow) who drew our attention to the group of mathematicians and c- puter scientists at the Academy of Sciences of Moldova conducting research in the ?eld of computer algebra. We were impressed that this group not only is concerned with applications of CA methods to problems of scienti?c computing but also c- ries out research on the fundamental principles underlying the current computer algebra systems themselves, see also their papers in the present proceedings v- ume. It was therefore decided to organize the 9th workshop on Computer Algebra in Scienti?c Computing, CASC 2006, in Chi¸ sin? au, the capital of Moldova.

Editors and Affiliations

  • Institute of Informatics, Technische Universität München, Garching, Germany

    Victor G. Ganzha, 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