Advances in computer technology have conveniently coincided with trends in numerical analysis toward increased complexity of computational algorithms based on finite difference methods. It is no longer feasible to perform stability investigation of these methods manually--and no longer necessary. As this book shows, modern computer algebra tools can be combined with methods from numerical analysis to generate programs that will do the job automatically.

Comprehensive, timely, and accessible--this is the definitive reference on the application of computerized symbolic...

Fluid mechanics (FM) is a branch of science dealing with the investi- gation of flows of continua under the action of external forces. The fundamentals of FM were laid in the works of the famous scientists, such as L. Euler, M. V. Lomonosov, D. Bernoulli, J. L. Lagrange, A. Cauchy, L. Navier, S. D. Poisson, and other classics of science. Fluid mechanics underwent a rapid development during the past two centuries, and it now includes, along with the above branches, aerodynamics, hydrodynamics, rarefied gas dynamics, mechanics of multi phase and reactive media, etc. The FM application domains...

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,...

CASC 2001 continues a tradition started in 1998 of international con ferences on the latest advances in the application of computer algebra systems to the solution of various problems in scientific computing. The three ear (CASs) lier conferences in this sequence, CASC'98, CASC'99, and CASC 2000, were held, Petersburg, Russia, in Munich, Germany, and in Samarkand, respectively, in St. Uzbekistan, and proved to be very successful. We have to thank the program committee, listed overleaf, for a tremendous job in soliciting and providing reviews for the submitted papers. There were more than...

The development of powerful computer algebra systems has considerably ex tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers. However, as the field of applications of computer algebra in scientific computing becomes broader and more complex, there is a danger of separation between theory, systems, and applications. For this reason, we felt the need to bring together the researchers who now ap ply the tools of computer algebra for the solution of problems in scientific computing, in order to foster new and closer interactions....

This textbook presents the basic concepts and methods of fluid mechanics, including Lagrangian and Eulerian descriptions, tensors of stresses and strains, continuity, momentum, energy, thermodynamics laws, and similarity theory. The models and their solutions are presented within a context of the mechanics of multiphase media. The treatment fully utilizes the computer algebra and software system Mathematica(R) to both develop concepts and help the reader to master modern methods of solving problems in fluid mechanics.

Topics and features:

• Glossary of over thirty...