Mathematics of Computing -- Numerical Analysis.

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Numerical Analysis and Its Applications, NAA 2000, held in Rousse, Bulgaria in June 2000.The 90 revised papers presented were carefully selected for inclusion in the book during the two rounds of inspection and reviewing. All current aspects of numerical analysis are addressed. Among the application fields covered are computational sciences and engineering, chemistry, physics, economics, simulation, etc.

This book investigates some of the difficulties related to scientific computing, describing how these can be overcome.

The book presents fundamentals of plasma physics with rich references and computational techniques in a concise manner. It particularly focuses on introductions to numerical simulation methods in plasma physics, in addition to those to physics and mathematics in plasma physics. It also presents the fundamentals of numerical methods, which solve mathematical models of plasmas, together with examples of numerical results. A discretization method, the so-called finite difference method, is introduced for particle-in-cell methods and fluid codes, which have been widely employed in plasma physics studies. In addition to the introduction to numerical solutions, it also covers numerical stability. The instabilities and numerical errors significantly influence the results, and for correct results, great efforts are required to avoid such numerical artifacts. The book also carefully discusses the numerical errors, numerical stability, and uncertainty in numerical computations. Readers are expected to have an understanding of fundamental physics of mechanics, electromagnetism, thermodynamics, statistical physics, relativity, fluid dynamics, and mathematics, but the book does not assume background knowledge on plasma. Therefore, it is a first book of plasma physics for upper undergraduate and early graduate students who are interested in learning it.

This expansive volume describes the history of numerical methods proposed for solving linear algebra problems, from antiquity to the present day. The authors focus on methods for linear systems of equations and eigenvalue problems and describe the interplay between numerical methods and the computing tools available at the time. The second part of the book consists of 78 biographies of important contributors to the field. A Journey through the History of Numerical Linear Algebra will be of special interest to applied mathematicians, especially researchers in numerical linear algebra, people involved in scientific computing, and historians of mathematics.

The second Workshop on "Quality and Reliability of Large-Eddy Simulations", QLES2009, was held at the University of Pisa from September 9 to September 11, 2009. Its predecessor, QLES2007, was organized in 2007 in Leuven (Belgium). The focus of QLES2009 was on issues related to predicting, assessing and assuring the quality of LES. The main goal of QLES2009 was to enhance the knowledge on error sources and on their interaction in LES and to devise criteria for the prediction and optimization of simulation quality, by bringing together mathematicians, physicists and engineers and providing a platform specifically addressing these aspects for LES. Contributions were made by leading experts in the field. The present book contains the written contributions to QLES2009 and is divided into three parts, which reflect the main topics addressed at the workshop: (i) SGS modeling and discretization errors; (ii) Assessment and reduction of computational errors; (iii) Mathematical analysis and foundation for SGS modeling.

The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005. The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.

This volume contains 39 of the papers presented at the Sixth European Multigrid Conference, held in Gent, Belgium, September 27-30, 1999. The topics treated at the conference cover all aspects of Multigrid Methods: theory, analysis, computer implementation, applications in the fields of physics, chemistry, fluid mechanics, structural mechanics and magnetism.

Accurate and efficient computer algorithms for factoring matrices, solving linear systems of equations, and extracting eigenvalues and eigenvectors. Regardless of the software system used, the book describes and gives examples of the use of modern computer software for numerical linear algebra. It begins with a discussion of the basics of numerical computations, and then describes the relevant properties of matrix inverses, factorisations, matrix and vector norms, and other topics in linear algebra. The book is essentially self- contained, with the topics addressed constituting the essential material for an introductory course in statistical computing. Numerous exercises allow the text to be used for a first course in statistical computing or as supplementary text for various courses that emphasise computations.

In many important areas of scientific computing, polynomials in one or more variables are employed in the mathematical modeling of real-life phenomena; yet most of classical computer algebra assumes exact rational data. This book is the first comprehensive treatment of the emerging area of numerical polynomial algebra, an area that falls between classical numerical analysis and classical computer algebra but, surprisingly, has received little attention so far. The author introduces a conceptual framework that permits the meaningful solution of various algebraic problems with multivariate polynomial equations whose coefficients have some indeterminacy; for this purpose, he combines approaches of both numerical linear algebra and commutative algebra. For the application scientist, Numerical Polynomial Algebra provides both a survey of polynomial problems in scientific computing that may be solved numerically and a guide to their numerical treatment. In addition, the book provides both introductory sections and novel extensions of numerical analysis and computer algebra, making it accessible to the reader with expertise in either one of these areas.