Computer Algebra in Scientific Computing: 9th International Workshop, Casc 2006, Chisinau, Moldova, September 11-15, 2006: Proceedings

by Ganzha, V. G.; Mayr, E. W.; Vorozhtsov, E. V.

• ISBN13: 9783540451822
• ISBN10: 354045182X
• Format: Paperback
• Copyright: 2006-10-15
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC 2006, held in Chisinau, Moldova, in September 2006. The 25 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in Gr??bner bases, polynomial algebra, homological algebra, quantifier elimination, the applications of computer algebra systems in the field of the solution of differential equations, celestial mechanics, Newton polyhedra, mathematical physics, nuclear physics, and fluid dynamics. Novel themes also addressed are the application of computer algebra techniques in the field of nanosciences and nanotechnology as well as the application of CA methods to cellular automata with symmetrical local rules.

Table of Contents

Comparison maps for relatively free resolutions	p. 1
A symbolic-numeric approach for solving the eigenvalue problem for the one-dimensional Schrodinger equation	p. 23
Reducing computational costs in the basic perturbation lemma	p. 33
Solving algorithmic problems on orders and lattices by relation algebra and RelView	p. 49
Intervals, syzygies, numerical Grolmer bases : a mixed study	p. 64
Application of computer algebra for construction of quasi-periodic solutions for restricted circular planar three body problem	p. 77
Efficient preprocessing methods for quantifier elimination	p. 89
Symbolic and numerical calculation of transport integrals for some organic crystals	p. 101
On the provably tight approximation of optimal meshing for non-convex regions	p. 109
Providing modern software environments to computer algebra systems	p. 129
The instability of the Rhombus-like central configurations in Newton 9-body problem	p. 141
Algorithmic invariants for Alexander modules	p. 149
Sudokus and Grobner bases : not only a Divertimento	p. 155
Simplicial perturbation techniques and effective homology	p. 166
Numerical study of stability domains of Hamiltonian equation solutions	p. 178
Numeric-symbolic computations in the study of central configurations in the planar Newtonian four-body problem	p. 192
A symbolic-numerical algorithm for solving the eigenvalue problem for a hydrogen atom in magnetic field	p. 205
On decomposition of tame polynomials and rational functions	p. 219
Newton polyhedra and an oscillation index of oscillatory integrals with convex phases	p. 227
Cellular automata with symmetric local rules	p. 240
Parallel laplace method with assured accuracy for solutions of differential equations by symbolic computations	p. 251
On connection between constructive involutive divisions and monomial orderings	p. 261
A symbolic-numeric approach to tube modeling in CAD systems	p. 279
Inequalities on upper bounds for real polynomial roots	p. 284
New domains for applied quantifier elimination	p. 295
Algorithms for symbolic polynomials	p. 302
Testing mersenne primes with elliptic curves	p. 303
Table of Contents provided by Blackwell. All Rights Reserved.