eBook PDF Download Digital Library
Author: Bo Einarsson
Publisher: SIAM
Published: 2005-08-01
Total Pages: 348
ISBN-13: 0898715849
DOWNLOAD EBOOK →This book investigates some of the difficulties related to scientific computing, describing how these can be overcome.
Author: Ramon E. Moore
Publisher: Elsevier
Published: 2014-05-10
Total Pages: 447
ISBN-13: 1483277844
DOWNLOAD EBOOK →Perspectives in Computing, Vol. 19: Reliability in Computing: The Role of Interval Methods in Scientific Computing presents a survey of the role of interval methods in reliable scientific computing, including vector arithmetic, language description, convergence, and algorithms. The selection takes a look at arithmetic for vector processors, FORTRAN-SC, and reliable expression evaluation in PASCAL-SC. Discussions focus on interval arithmetic, optimal scalar product, matrix and vector arithmetic, transformation of arithmetic expressions, development of FORTRAN-SC, and language description with examples. The text then examines floating-point standards, algorithms for verified inclusions, applications of differentiation arithmetic, and interval acceleration of convergence. The book ponders on solving systems of linear interval equations, interval least squares, existence of solutions and iterations for nonlinear equations, and interval methods for algebraic equations. Topics include interval methods for single equations, diagnosing collinearity, interval linear equations, effects of nonlinearity, and bounding the solutions. The publication is a valuable source of data for computer science experts and researchers interested in the role of interval methods in reliable scientific computing.
Author: William L. Oberkampf
Publisher: Cambridge University Press
Published: 2010-10-14
Total Pages: 782
ISBN-13: 1139491768
DOWNLOAD EBOOK →Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, principles, and procedures for verification and validation of models and simulations. The emphasis is placed on models that are described by partial differential and integral equations and the simulations that result from their numerical solution. The methods described can be applied to a wide range of technical fields, from the physical sciences, engineering and technology and industry, through to environmental regulations and safety, product and plant safety, financial investing, and governmental regulations. This book will be genuinely welcomed by researchers, practitioners, and decision makers in a broad range of fields, who seek to improve the credibility and reliability of simulation results. It will also be appropriate either for university courses or for independent study.
Author: Germund Dahlquist
Publisher: SIAM
Published: 2008-09-04
Total Pages: 741
ISBN-13: 0898716446
DOWNLOAD EBOOK →This work addresses the increasingly important role of numerical methods in science and engineering. It combines traditional and well-developed topics with other material such as interval arithmetic, elementary functions, operator series, convergence acceleration, and continued fractions.
Author: Ulrich Kulisch
Publisher: Walter de Gruyter
Published: 2013-04-30
Total Pages: 456
ISBN-13: 3110301792
DOWNLOAD EBOOK →This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural way. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements for the elementary floating-point operations are extended to the customary product spaces of computations including interval spaces. The mathematical properties of these models are extracted into an axiomatic approach which leads to a general theory of computer arithmetic. Detailed methods and circuits for the implementation of this advanced computer arithmetic on digital computers are developed in part two of the book. Part three then illustrates by a number of sample applications how this extended computer arithmetic can be used to compute highly accurate and mathematically verified results. The book can be used as a high-level undergraduate textbook but also as reference work for research in computer arithmetic and applied mathematics.
Author: Tibor Csendes
Publisher: Springer Science & Business Media
Published: 1999
Total Pages: 420
ISBN-13: 9780792360575
DOWNLOAD EBOOK →The present volume contains 30 articles presented at SCAN-98, Budapest, Hungary. These papers cover all aspects of validation techniques in scientific computing, ranging from hardware requirements, elementary operations, high accuracy function evaluations and interval arithmetic to advanced validating techniques and applications in various fields of practical interest. Audience: This book is of interest to researchers and graduate students whose work involves validation techniques in scientific computing.
Author: Michael A. Heroux
Publisher: SIAM
Published: 2006-01-01
Total Pages: 421
ISBN-13: 9780898718133
DOWNLOAD EBOOK →Parallel processing has been an enabling technology in scientific computing for more than 20 years. This book is the first in-depth discussion of parallel computing in 10 years; it reflects the mix of topics that mathematicians, computer scientists, and computational scientists focus on to make parallel processing effective for scientific problems. Presently, the impact of parallel processing on scientific computing varies greatly across disciplines, but it plays a vital role in most problem domains and is absolutely essential in many of them. Parallel Processing for Scientific Computing is divided into four parts: The first concerns performance modeling, analysis, and optimization; the second focuses on parallel algorithms and software for an array of problems common to many modeling and simulation applications; the third emphasizes tools and environments that can ease and enhance the process of application development; and the fourth provides a sampling of applications that require parallel computing for scaling to solve larger and realistic models that can advance science and engineering.
Author: David L. Chopp
Publisher: SIAM
Published: 2019-03-01
Total Pages: 470
ISBN-13: 1611975638
DOWNLOAD EBOOK →Based on a course developed by the author, Introduction to High Performance Scientific Computing introduces methods for adding parallelism to numerical methods for solving differential equations. It contains exercises and programming projects that facilitate learning as well as examples and discussions based on the C programming language, with additional comments for those already familiar with C++. The text provides an overview of concepts and algorithmic techniques for modern scientific computing and is divided into six self-contained parts that can be assembled in any order to create an introductory course using available computer hardware. Part I introduces the C programming language for those not already familiar with programming in a compiled language. Part II describes parallelism on shared memory architectures using OpenMP. Part III details parallelism on computer clusters using MPI for coordinating a computation. Part IV demonstrates the use of graphical programming units (GPUs) to solve problems using the CUDA language for NVIDIA graphics cards. Part V addresses programming on GPUs for non-NVIDIA graphics cards using the OpenCL framework. Finally, Part VI contains a brief discussion of numerical methods and applications, giving the reader an opportunity to test the methods on typical computing problems.
Author: Adams
Publisher: Academic Press
Published: 1992-12-03
Total Pages: 626
ISBN-13: 0080958753
DOWNLOAD EBOOK →Scientific Computing with Automatic Result Verification
Author: CLAUS. FUHRER
Publisher:
Published: 2021-07-23
Total Pages: 392
ISBN-13: 9781838822323
DOWNLOAD EBOOK →Leverage this example-packed, comprehensive guide for all your Python computational needs Key Features: Learn the first steps within Python to highly specialized concepts Explore examples and code snippets taken from typical programming situations within scientific computing. Delve into essential computer science concepts like iterating, object-oriented programming, testing, and MPI presented in strong connection to applications within scientific computing. Book Description: Python has tremendous potential within the scientific computing domain. This updated edition of Scientific Computing with Python features new chapters on graphical user interfaces, efficient data processing, and parallel computing to help you perform mathematical and scientific computing efficiently using Python. This book will help you to explore new Python syntax features and create different models using scientific computing principles. The book presents Python alongside mathematical applications and demonstrates how to apply Python concepts in computing with the help of examples involving Python 3.8. You'll use pandas for basic data analysis to understand the modern needs of scientific computing, and cover data module improvements and built-in features. You'll also explore numerical computation modules such as NumPy and SciPy, which enable fast access to highly efficient numerical algorithms. By learning to use the plotting module Matplotlib, you will be able to represent your computational results in talks and publications. A special chapter is devoted to SymPy, a tool for bridging symbolic and numerical computations. By the end of this Python book, you'll have gained a solid understanding of task automation and how to implement and test mathematical algorithms within the realm of scientific computing. What You Will Learn: Understand the building blocks of computational mathematics, linear algebra, and related Python objects Use Matplotlib to create high-quality figures and graphics to draw and visualize results Apply object-oriented programming (OOP) to scientific computing in Python Discover how to use pandas to enter the world of data processing Handle exceptions for writing reliable and usable code Cover manual and automatic aspects of testing for scientific programming Get to grips with parallel computing to increase computation speed Who this book is for: This book is for students with a mathematical background, university teachers designing modern courses in programming, data scientists, researchers, developers, and anyone who wants to perform scientific computation in Python.
