Computer algebra in scientific computing : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005 : proceedings
Author(s)
Bibliographic Information
Computer algebra in scientific computing : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005 : proceedings
(Lecture notes in computer science, 3718)
Springer, c2005
Available at 9 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references and index
Description and Table of Contents
Description
CASC 2005 continued a tradition - started in 1998 - of international c- ferences on the latest advances in the application of computer algebra systems (CASs) and methods to the solution of various problems in scienti?c computing. The methods of scienti?c computing play an important role in research and engineering applications in the natural and the engineering sciences. The sign- icance and impact of computer algebra methods and computer algebra systems for scienti?c computing has increased considerably in recent times. Nowadays, suchgeneral-purposecomputeralgebrasystemsasMaple,Magma,Mathematica, MuPAD, Singular, CoCoA and others enable their users to solve the following three important tasks within a uniform framework: (a) symbolic manipulation; (b) numerical computation; (c) visualization. The ongoing development of such systems, including their integrationand ad- tation to modern software environments, puts them at the forefront in scienti?c computing and enables the practicalsolution of many complex applied problems in the domains of natural sciences and engineering. Greece o?ers excellent infrastructures for hosting international conferences, and this was a reason for us to choose the city of Kalamata, Greece, as the lo- tion for CASC 2005,the eighth conference in the sequenceof CASC conferences.
The seven earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, and CASC 2004 were held, respectively, in St. Petersburg, Russia, in Munich, Germany, in Samarkand, Uzbekistan, in Konstanz, Germany, in the Crimea (Ukraine), in Passau (Germany), and in St. Petersburg, Russia, and they proved to be successful.
Table of Contents
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems.- Computing the Betti Numbers of Arrangements in Practice.- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method.- RelView - An OBDD-Based Computer Algebra System for Relations.- On the Use of Groebner Bases for Computing the Structure of Finite Abelian Groups.- Normal Forms and Integrability of ODE Systems.- Resultant-Based Methods for Plane Curves Intersection Problems.- Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion.- Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time.- Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots.- Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials.- A Descartes Algorithm for Polynomials with Bit-Stream Coefficients.- Real Solving of Bivariate Polynomial Systems.- Nouvelle Cuisine for the Computation of the Annihilating Ideal of f s .- Janet-Like Monomial Division.- Janet-Like Groebner Bases.- Circulant Digraphs and Monomial Ideals.- Algebraic Topological Analysis of Time-Sequence of Digital Images.- Hilbert Stratification and Parametric Groebner Bases.- Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem.- Symbolic-Numerical Algorithm for Solving the Time-Dependent Schroedinger Equation by Split-Operator Method.- On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid.- On Compatibility of Discrete Relations.- Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems.- Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices.- Fast Verification for Respective Eigenvalues of Symmetric Matrix.- Towards More Accurate Separation Bounds of Empirical Polynomials II.- Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library.- Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies.- The Diamond Operator - Implementation of Exact Real Algebraic Numbers.- Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System.- Nonlinear Waves in a Rod.- A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods.- Differential and Difference Equations for Products of Classical Orthogonal Polynomials.- Algorithm of Local Resolution of Singularities of a Space Curve.- Quantifier Elimination for Constraint Logic Programming.- Computation of Full Comprehensive Groebner Bases.- Recursive Polynomial Remainder Sequence and the Nested Subresultants.- Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems.- Solving Linear Differential Problems with Parameters.- Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate.
by "Nielsen BookData"