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

This book constitutes the refereed proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC 2005, held in Kalamata, Greece in September 2005.

The 41 revised full papers presented were carefully reviewed and selected from 75 submissions. The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software: algebraic methods for nonlinear polynomial equations and inequalities, symbolic-numeric methods for differential and differential-algebraic equations, algorithmic and complexity considerations in computer algebra, algebraic methods in geometric modelling, aspects of computer algebra programming languages, automatic reasoning in algebra and geometry, complexity of algebraic problems, exact and approximate computation, parallel symbolic-numeric computation, Internet accessible symbolic and numeric computation, problem-solving environments, symbolic and numerical computation in systems engineering and modelling, computer algebra in industry, solving problems in the natural sciences, numerical simulation using computer algebra systems, mathematical communication.

---

This book constitutes the refereed proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC 2005, held in Kalamata, Greece in September 2005.

The 41 revised full papers presented were carefully reviewed and selected from 75 submissions. The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software: algebraic methods for nonlinear polynomial equations and inequalities, symbolic-numeric methods for differential and differential-algebraic equations, algorithmic and complexity considerations in computer algebra, algebraic methods in geometric modelling, aspects of computer algebra programming languages, automatic reasoning in algebra and geometry, complexity of algebraic problems, exact and approximate computation, parallel symbolic-numeric computation, Internet accessible symbolic and numeric computation, problem-solving environments, symbolic and numerical computation in systems engineering and modelling, computer algebra in industry, solving problems in the natural sciences, numerical simulation using computer algebra systems, mathematical communication.

Content:
Front Matter....Pages -
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems....Pages 1-12
Computing the Betti Numbers of Arrangements in Practice....Pages 13-31
A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method....Pages 32-39
On the Use of Gr?bner Bases for Computing the Structure of Finite Abelian Groups....Pages 40-51
Normal Forms and Integrability of ODE Systems....Pages 52-64
Resultant-Based Methods for Plane Curves Intersection Problems....Pages 65-74
Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion....Pages 75-92
Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time....Pages 93-104
Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots....Pages 105-114
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials....Pages 115-124
A Descartes Algorithm for Polynomials with Bit-Stream Coefficients....Pages 125-137
Real Solving of Bivariate Polynomial Systems....Pages 138-149
Janet-Like Monomial Division....Pages 150-161
Janet-Like Gr?bner Bases....Pages 162-173
Circulant Digraphs and Monomial Ideals....Pages 174-183
Algebraic Topological Analysis of Time-Sequence of Digital Images....Pages 184-195
Hilbert Stratification and Parametric Gr?bner Bases....Pages 196-207
Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem....Pages 208-219
Symbolic-Numerical Algorithm for Solving the Time-Dependent Schr?dinger Equation by Split-Operator Method....Pages 220-235
On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid....Pages 236-243
On Compatibility of Discrete Relations....Pages 244-258
Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems....Pages 259-271
Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices....Pages 272-284
Fast Verification for Respective Eigenvalues of Symmetric Matrix....Pages 285-293
Towards More Accurate Separation Bounds of Empirical Polynomials II....Pages 294-305
Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library....Pages 306-317
The Diamond Operator – Implementation of Exact Real Algebraic Numbers....Pages 318-329
Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System....Pages 330-343
Nonlinear Waves in a Rod....Pages 344-354
A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods....Pages 355-366
Differential and Difference Equations for Products of Classical Orthogonal Polynomials....Pages 367-378
Algorithm of Local Resolution of Singularities of a Space Curve....Pages 379-386
Quantifier Elimination for Constraint Logic Programming....Pages 387-398
Computation of Full Comprehensive Gr?bner Bases....Pages 399-404
Recursive Polynomial Remainder Sequence and the Nested Subresultants....Pages 405-415
Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems....Pages 416-430
Solving Linear Differential Problems with Parameters....Pages 431-444
Back Matter....Pages 445-456
Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate....Pages 457-468
....Pages 469-488