Computer Algebra in Scientific Computing: 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): V. Álvarez, J. A. Armario, M. D. Frau, P. Real (auth.), Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)
Series: Lecture Notes in Computer Science 4194 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006

Language: English
Pages: 314
Tags: Symbolic and Algebraic Manipulation; Programming Techniques; Discrete Mathematics in Computer Science; Algorithm Analysis and Problem Complexity; Math Applications in Computer Science; Algorithms

Front Matter....Pages -
Comparison Maps for Relatively Free Resolutions....Pages 1-22
A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation....Pages 23-32
Reducing Computational Costs in the Basic Perturbation Lemma....Pages 33-48
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView ....Pages 49-63
Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study....Pages 64-76
Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem....Pages 77-88
Efficient Preprocessing Methods for Quantifier Elimination....Pages 89-100
Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals....Pages 101-108
On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions....Pages 109-128
Providing Modern Software Environments to Computer Algebra Systems....Pages 129-140
The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem....Pages 141-148
Algorithmic Invariants for Alexander Modules....Pages 149-154
Sudokus and Gröbner Bases: Not Only a Divertimento ....Pages 155-165
Simplicial Perturbation Techniques and Effective Homology....Pages 166-177
Numerical Study of Stability Domains of Hamiltonian Equation Solutions....Pages 178-191
Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem....Pages 192-204
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field....Pages 205-218
On Decomposition of Tame Polynomials and Rational Functions....Pages 219-226
Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases....Pages 227-239
Cellular Automata with Symmetric Local Rules....Pages 240-250
Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations....Pages 251-260
On Connection Between Constructive Involutive Divisions and Monomial Orderings....Pages 261-278
A Symbolic-Numeric Approach to Tube Modeling in CAD Systems....Pages 279-283
Inequalities on Upper Bounds for Real Polynomial Roots....Pages 284-294
New Domains for Applied Quantifier Elimination....Pages 295-301
Algorithms for Symbolic Polynomials....Pages 302-302
Testing Mersenne Primes with Elliptic Curves....Pages 303-312
Back Matter....Pages -