Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12 - 16, 2005, Proceedings

by Ganzha, Victor G.; Mayr, Ernst W.; Vorozhtsov, Evgenii V.

• ISBN13: 9783540289661
• ISBN10: 3540289666
• Format: Paperback
• Copyright: 2005-11-15
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 8th InternationalWorkshop on Computer Algebra in Scientific Computing, CASC 2005, held inKalamata, Greece in September 2005.The 41 revised full papers presented were carefully reviewed andselected from 75 submissions. The topics addressed in the workshop coverall the basic areas of scientific computing as they benefit from theapplication of computer algebra methods and software: algebraic methodsfor nonlinear polynomial equations and inequalities, symbolic-numericmethods for differential and differential-algebraic equations,algorithmic and complexity considerations in computer algebra, algebraicmethods in geometric modelling, aspects of computer algebra programminglanguages, automatic reasoning in algebra and geometry, complexity ofalgebraic problems, exact and approximate computation, parallelsymbolic-numeric computation, Internet accessible symbolic and numericcomputation, problem-solving environments, symbolic and numericalcomputation in systems engineering and modelling, computer algebra inindustry, solving problems in the natural sciences, numerical simulationusing computer algebra systems, mathematical communication.

Table of Contents

On regular and logarithmic solutions of ordinary linear differential systems	p. 1
Computing theBetti numbers of arrangements in practice	p. 13
A MAPLE symbolic-numeric program for solving the 2D-eigenvalue problem by a self-consistent basis method	p. 32
RelView - an OBDD-based computer algebra system for relations	p. 40
On the use of Grobner bases for computing the structure of finite Abelian groups	p. 52
Normal forms and integrability of ODE systems	p. 65
Resultant-based methods for plane curves intersection problems	p. 75
Symbolic calculations in studying the stability of dynamically symmetric satellite motion	p. 93
Generation of orthogonal grids on curvilinear trimmed regions in constant time	p. 105
Computer algebra in nanosciences : modeling electronic states in quantum dots	p. 115
Cayley-Dixon resultant matrices of multi-univariate composed polynomials	p. 125
A Descartes algorithm for polynomials with bit-stream coefficients	p. 138
Real solving of bivariate polynomial systems	p. 150
Nouvelle cuisine for the computation of the annihilating ideal of f[superscript s]	p. 162
Janet-like monomial division	p. 174
Janet-like Grobner bases	p. 184
Circulant digraphs and monomial ideals	p. 196
Algebraic topological analysis of time-sequence of digital images	p. 208
Hilbert stratification and parametric Grobner bases	p. 220
Investigation of the stability problem for the critical cases of the Newtonian many-body problem	p. 236
Symbolic-numerical algorithm for solving the time-dependent Schrodinger equation by split-operator method	p. 244
On some results of investigation of Kirchhoff equations in case of a rigid body motion in fluid	p. 259
On compatibility of discrete relations	p. 272
Construction of two level orthogonal arrays via solutions of linear systems	p. 285
Counting techniques specifying the existence of submatrices in weighing matrices	p. 294
Fast verification for respective eigenvalues of symmetric matrix	p. 306
Towards more accurate separation bounds of empirical polynomials II	p. 318
Compiler-enforced memory semantics in the SACLIB computer algebra library	p. 330
Meta-Petro : an expert system for training undergraduates in metamorphic rocks recognition and classification using photomicrographies	p. 344
The diamond operator - implementation of exact real algebraic numbers	p. 355
Constructing the numerical method for Navier-Stokes equations using computer algebra system	p. 367
Nonlinear waves in a rod	p. 379
A symbolic-numeric method for solving boundary value problems of Kirchhoff rods	p. 387
Differential and difference equations for products of classical orthogonal polynomials	p. 399
Algorithm of local resolution of singularities of a space curve	p. 405
Quantifier elimination for constraint logic programming	p. 416
Computation of full comprehensive Grobner bases	p. 431
Recursive polynomial remainder sequence and the nested subresultants	p. 445
Interdependence between the Laurent-series and elliptic solutions of nonintegrable systems	p. 457
Solving linear differential problems with parameters	p. 469
Approximate solution of the Dirichlet problem for elliptic PDE and its error estimate	p. 489
Table of Contents provided by Blackwell. All Rights Reserved.