Scientific Computing with Automatic Result Verification
Author: Adams
Publisher: Academic Press
Published: 1992-12-03
Total Pages: 626
ISBN-13: 0080958753
DOWNLOAD EBOOKScientific Computing with Automatic Result Verification
Posts
Scientific Computation with Automatic Result Verification
Author: Ulrich Kulisch
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 242
ISBN-13: 3709169577
DOWNLOAD EBOOKScientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, 1987, in Karlsruhe; it was co-sponsored by the GAMM Committee on "Computer Arithmetic and Scientific Computation". - - This volume combines edited versions of selected papers presented at this confer ence, including a few which were presented at a similar meeting one year earlier. The selection was made on the basis of relevance to the topic chosen for this volume. All papers are original contributions. In an appendix, we have supplied a short account of the Fortran-SC language which permits the programming of algorithms with result verification in a natural manner. The editors hope that the publication of this material as a Supplementum of Computing will further stimulate the interest of the scientific community in this important tool for Scientific Computation. In particular, we would like to make application scientists aware of its potential. The papers in the second chapter of this volume should convince them that automatic result verification may help them to design more reliable software for their particular tasks. We wish to thank all contributors for adapting their manuscripts to the goals of this volume. We are also grateful to the Publisher, Springer-Verlag of Vienna, for an efficient and quick production.
C++ Toolbox for Verified Computing I
Author: Rolf Hammer
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 389
ISBN-13: 3642796516
DOWNLOAD EBOOKOur aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the C++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition were written in PASCAL-XSC, a PASCAL eXtension for Scientific Computation. Since we published the first edition we have received many requests from readers and users of our tools for a version in C++. We take the view that C++ is growing in importance in the field of numeri cal computing. C++ includes C, but as a typed language and due to its modern concepts, it is superior to C. To obtain the degree of efficiency that PASCAL-XSC provides, we used the C-XSC library. C-XSC is a C++ class library for eXtended Scientific Computing. C++ and the C-XSC library are an adequate alternative to special XSC-Ianguages such as PASCAL-XSC or ACRITH-XSC. A shareware version of the C-XSC library and the sources of the toolbox programs are freely available via anonymous ftp or can be ordered against reimbursement of expenses. The programs of this book do not require a great deal of insight into the features of C++. Particularly, object oriented programming techniques are not required.
Computer Arithmetic and Validity
Author: Ulrich Kulisch
Publisher: Walter de Gruyter
Published: 2013-04-30
Total Pages: 456
ISBN-13: 3110301792
DOWNLOAD EBOOKThis 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.
Scientific Computing, Computer Arithmetic, and Validated Numerics
Author: Marco Nehmeier
Publisher: Springer
Published: 2016-04-08
Total Pages: 291
ISBN-13: 3319317695
DOWNLOAD EBOOKThis book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other treatments of uncertainty are developed as appropriate tools.
Applied Parallel and Scientific Computing
Author: Kristján Jónasson
Publisher: Springer Science & Business Media
Published: 2012-02-04
Total Pages: 501
ISBN-13: 3642281443
DOWNLOAD EBOOKThe two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Parallel and Scientific Computing, PARA 2010, held in Reykjavík, Iceland, in June 2010. These volumes contain three keynote lectures, 29 revised papers and 45 minisymposia presentations arranged on the following topics: cloud computing, HPC algorithms, HPC programming tools, HPC in meteorology, parallel numerical algorithms, parallel computing in physics, scientific computing tools, HPC software engineering, simulations of atomic scale systems, tools and environments for accelerator based computational biomedicine, GPU computing, high performance computing interval methods, real-time access and processing of large data sets, linear algebra algorithms and software for multicore and hybrid architectures in honor of Fred Gustavson on his 75th birthday, memory and multicore issues in scientific computing - theory and praxis, multicore algorithms and implementations for application problems, fast PDE solvers and a posteriori error estimates, and scalable tools for high performance computing.
Numerical Methods in Scientific Computing
Author: Germund Dahlquist
Publisher: SIAM
Published: 2008-01-01
Total Pages: 742
ISBN-13: 0898717787
DOWNLOAD EBOOKThis new book from the authors of the classic book Numerical methods addresses the increasingly important role of numerical methods in science and engineering. More cohesive and comprehensive than any other modern textbook in the field, it combines traditional and well-developed topics with other material that is rarely found in numerical analysis texts, such as interval arithmetic, elementary functions, operator series, convergence acceleration, and continued fractions. Although this volume is self-contained, more comprehensive treatments of matrix computations will be given in a forthcoming volume. A supplementary Website contains three appendices: an introduction to matrix computations; a description of Mulprec, a MATLAB multiple precision package; and a guide to literature, algorithms, and software in numerical analysis. Review questions, problems, and computer exercises are also included. For use in an introductory graduate course in numerical analysis and for researchers who use numerical methods in science and engineering.
Accuracy and Reliability in Scientific Computing
Author: Bo Einarsson
Publisher: SIAM
Published: 2005-08-01
Total Pages: 348
ISBN-13: 0898715849
DOWNLOAD EBOOKThis book investigates some of the difficulties related to scientific computing, describing how these can be overcome.
Scientific Computing, Validated Numerics, Interval Methods
Author: Walter Krämer
Publisher: Springer Science & Business Media
Published: 2013-04-17
Total Pages: 385
ISBN-13: 1475764847
DOWNLOAD EBOOKScan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Conference on Interval Methods in Science and Engineering were jointly held in Karlsruhe, September 19-22, 2000. The joint conference continued the series of 7 previous Scan-symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose. The conference further continued the series of 4 former Interval conferences focusing on interval methods and their application in science and engineering. The objectives are to propagate current applications and research as well as to promote a greater understanding and increased awareness of the subject matters. The symposium was held in Karlsruhe the European cradle of interval arithmetic and self-validating numerics and attracted 193 researchers from 33 countries. 12 invited and 153 contributed talks were given. But not only the quantity was overwhelming we were deeply impressed by the emerging maturity of our discipline. There were many talks discussing a wide variety of serious applications stretching all parts of mathematical modelling. New efficient, publicly available or even commercial tools were proposed or presented, and also foundations of the theory of intervals and reliable computations were considerably strengthened.
Granular, Fuzzy, and Soft Computing
Author: Tsau-Young Lin
Publisher: Springer Nature
Published: 2023-03-29
Total Pages: 936
ISBN-13: 1071626280
DOWNLOAD EBOOKThe first edition of the Encyclopedia of Complexity and Systems Science (ECSS, 2009) presented a comprehensive overview of granular computing (GrC) broadly divided into several categories: Granular computing from rough set theory, Granular Computing in Database Theory, Granular Computing in Social Networks, Granular Computing and Fuzzy Set Theory, Grid/Cloud Computing, as well as general issues in granular computing. In 2011, the formal theory of GrC was established, providing an adequate infrastructure to support revolutionary new approaches to computer/data science, including the challenges presented by so-called big data. For this volume of ECSS, Second Edition, many entries have been updated to capture these new developments, together with new chapters on such topics as data clustering, outliers in data mining, qualitative fuzzy sets, and information flow analysis for security applications. Granulations can be seen as a natural and ancient methodology deeply rooted in the human mind. Many daily "things" are routinely granulated into sub "things": The topography of earth is granulated into hills, plateaus, etc., space and time are granulated into infinitesimal granules, and a circle is granulated into polygons of infinitesimal sides. Such granules led to the invention of calculus, topology and non-standard analysis. Formalization of general granulation was difficult but, as shown in this volume, great progress has been made in combing discrete and continuous mathematics under one roof for a broad range of applications in data science.
