You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The idea for this book originated during the workshop “Model order reduction, coupled problems and optimization” held at the Lorentz Center in Leiden from S- tember 19–23, 2005. During one of the discussion sessions, it became clear that a book describing the state of the art in model order reduction, starting from the very basics and containing an overview of all relevant techniques, would be of great use for students, young researchers starting in the ?eld, and experienced researchers. The observation that most of the theory on model order reduction is scattered over many good papers, making it dif?cult to ?nd a good starting point, was supported by most of the participants. Moreover...
This book offers a comprehensive presentation of some of the most successful and popular domain decomposition preconditioners for finite and spectral element approximations of partial differential equations. It places strong emphasis on both algorithmic and mathematical aspects. It covers in detail important methods such as FETI and balancing Neumann-Neumann methods and algorithms for spectral element methods.
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization.
“This superb book is timely and is written with great attention paid to detail, particularly in its referencing of the literature. The book has a wonderful blend of theory and code (MATLAB®) so will be useful both to nonexperts and to experts in the field.” — Alan Laub, Professor, University of California, Los Angeles The only book devoted exclusively to matrix functions, this research monograph gives a thorough treatment of the theory of matrix functions and numerical methods for computing them. The author's elegant presentation focuses on the equivalent definitions of f(A) via the Jordan canonical form, polynomial interpolation, and the Cauchy integral formula, and features an empha...
The major emphasis of the Dagstuhl Seminar on “Numerical Validation in C- rent Hardware Architectures” lay on numerical validation in current hardware architecturesand softwareenvironments. The generalidea wasto bring together experts who are concerned with computer arithmetic in systems with actual processor architectures and scientists who develop, use, and need techniques from veri?ed computation in their applications. Topics of the seminar therefore included: – The ongoing revision of the IEEE 754/854 standard for ?oating-point ari- metic – Feasible ways to implement multiple precision (multiword) arithmetic and to compute the actual precision at run-time according to the needs o...
None