PASCAL-XSC
PASCAL-XSC

Author: Rudi Klatte

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 348

ISBN-13: 3642772773

DOWNLOAD EBOOK

This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated scientists. PASCAL XSC is intended to make the computer more powerful arithmetically than usual. It makes the computer look like a vector processor to the programmer by providing the vector/matrix operations in a natural form with array data types and the usual operator symbols. Programming of algorithms is thus brought considerably closer to the usual mathematical notation. As an additional feature in PASCAL-XSC, all predefined operators for real and complex numbers and intervals, vectors, matrices, and so on, deliver an answer that differs from the exact result by at most one rounding. Numerical mathematics has devised algorithms that deliver highly accurate and automatically verified results by applying mathematical fixed point theorems. That is, these computations carry their own accuracy control. However, their imple mentation requires arithmetic and programming tools that have not been available previously. The development of PASCAL-XSC has been aimed at providing these tools within the PASCAL setting. Work on the subject began during the 1960's with the development of a general theory of computer arithmetic. At first, new algorithms for the realization of the arithmetic operations had to be developed and implemented.

Whys and Hows in Uncertainty Modelling
Whys and Hows in Uncertainty Modelling

Author: Isaac Elishakoff

Publisher: Springer

Published: 2014-05-04

Total Pages: 391

ISBN-13: 3709125014

DOWNLOAD EBOOK

This book presents, as a single package, three semingly contradictory and often competitive approaches to deal with ever present uncertainty in science and engineering. The book describes, as a unique view, probabilistic, fuzzy sets based and antioptimization based approaches, in order to remedy the present "tower ob Babel” situation, in which researchers in competing fields do not communicate. Integrative approach will attract scientists and engineers alike and provide a strong impetus towards integrative, hybrid approaches.

Applied Parallel and Scientific Computing
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 EBOOK

The 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 Validation in Current Hardware Architectures
Numerical Validation in Current Hardware Architectures

Author: Annie A.M. Cuyt

Publisher: Springer

Published: 2009-04-28

Total Pages: 272

ISBN-13: 3642015913

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Computational and Applied Mathematics, I
Computational and Applied Mathematics, I

Author: Claude Brezinski

Publisher: North Holland

Published: 1992

Total Pages: 520

ISBN-13:

DOWNLOAD EBOOK

Presenting research papers dealing with algorithms, this book will appeal to researchers and engineers involved in numerical analysis.

Perspectives on Enclosure Methods
Perspectives on Enclosure Methods

Author: Ulrich Kulisch

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 344

ISBN-13: 3709162823

DOWNLOAD EBOOK

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.

C++ Toolbox for Verified Computing I
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 EBOOK

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

Numerical Software with Result Verification
Numerical Software with Result Verification

Author: René Alt

Publisher: Springer

Published: 2004-02-12

Total Pages: 324

ISBN-13: 3540247386

DOWNLOAD EBOOK

Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de?nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri?cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o?, and in model interpretation. The techniques of validated computing have proven their merits in many scienti?c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from ?elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi?erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential.