Cover Image

C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs /

This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of th...

Full description

Bibliographic Details
Main Author:	Kulisch, Ulrich
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hammer, Rolf, Hocks, Matthias, Ratz, Dietmar
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1995.
Subjects:	Mathematics. Global analysis (Mathematics) Algorithms. Numerical analysis. Mathematical physics. Engineering mathematics. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Geometric Numerical Integration : Structure-Preserving Algorithms for Ordinary Differential Equations /
by: Hairer, E. (Ernst)
Published: (2002)

Quadpack : a Subroutine Package for Automatic Integration /
by: Piessens, R.
Published: (1983)

Numerical Challenges in Lattice Quantum Chromodynamics : Joint Interdisciplinary Workshop of John von Neumann Institute for Computing, Jülich, and Institute of Applied Computer Science, Wuppertal University, August 1999 /
by: Frommer, Andreas
Published: (2000)

Topics in Numerical Analysis : With Special Emphasis on Nonlinear Problems /
by: Alefeld, Goetz
Published: (2001)

Perspectives on Enclosure Methods /
by: Kulisch, Ulrich
Published: (2001)

The Mathematical Theory of Finite Element Methods /
by: Brenner, Susanne C.
Published: (1994)

Numerical Bifurcation Analysis for Reaction-Diffusion Equations /
by: Mei, Zhen
Published: (2000)

The Graduate Student's Guide to Numerical Analysis '98 : Lecture Notes from the VIII EPSRC Summer School in Numerical Analysis /
by: Ainsworth, Mark
Published: (1999)

Solving Ordinary Differential Equations II : Stiff and Differential-Algebraic Problems /
by: Hairer, E. (Ernst)
Published: (1991)

Galerkin Finite Element Methods for Parabolic Problems /
by: Thomée, Vidar
Published: (1997)

Theory and Numerics of Differential Equations : Durham 2000 /
by: Blowey, James F.
Published: (2001)

Computational Wave Propagation /
by: Engquist, Björn
Published: (1996)

Spectral Theory of Approximation Methods for Convolution Equations /
by: Hagen, Roland
Published: (1995)

Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs /
by: Kulisch, Ulrich
Published: (1993)

Advances in Software Tools for Scientific Computing /
by: Langtangen, Hans Petter
Published: (2000)

Recent Developments in Domain Decomposition Methods /
by: Pavarino, Luca F.
Published: (2002)

Numerical analysis /
by: Kress, Rainer, 1941-
Published: (1998)

Defect Correction Methods : Theory and Applications /
by: Böhmer, Klaus
Published: (1984)

C-XSC : a C++ Class Library for Extended Scientific Computing /
by: Kulisch, Ulrich
Published: (1993)

History of Continued Fractions and Padé Approximants /
by: Brezinski, Claude
Published: (1991)

Inclusion Methods for Nonlinear Problems : With Applications in Engineering, Economics and Physics /
by: Herzberger, Jürgen
Published: (2003)

Numerical Computation 1 : Methods, Software, and Analysis /
by: Ueberhuber, Christoph W.
Published: (1997)

Frontiers in Numerical Analysis : Durham 2002 /
by: Blowey, James F.
Published: (2003)

Scientific Computation with Automatic Result Verification /
by: Kulisch, Ulrich
Published: (1988)

Numerical Methods for Partial Differential Equations /
by: Evans, Gwynne A.
Published: (2000)

Methods for Solving Incorrectly Posed Problems /
by: Morozov, V. A.
Published: (1984)

Introduction to Numerical Analysis /
by: Stoer, J.
Published: (1993)

Analysis of a Finite Element Method : PDE/PROTRAN /
by: Sewell, Granville
Published: (1985)

Catastrophe Theory /
by: Arnolʹd, V. I. (Vladimir Igorevich), 1937-2010
Published: (1984)

The Method of Fractional Steps : The Solution of Problems of Mathematical Physics in Several Variables /
by: I͡Anenko, N. N. (Nikolaĭ Nikolaevich)
Published: (1971)

Numerical Methods Based on Sinc and Analytic Functions /
by: Stenger, Frank
Published: (1993)

Dynamical Systems on Surfaces /
by: Godbillon, Claude
Published: (1983)

Scattering Theory for Diffraction Gratings /
by: Wilcox, Calvin H.
Published: (1984)

Numerical Mathematics /
by: Hämmerlin, Günther
Published: (1991)

Rational Drug Design /
by: Truhlar, Donald G.
Published: (1999)

Parallel Solution of Partial Differential Equations /
by: Bjørstad, Petter
Published: (2000)

Recent Advances in Iterative Methods /
by: Golub, Gene
Published: (1994)

Iterative Solution of Large Sparse Systems of Equations /
by: Hackbusch, Wolfgang
Published: (1994)

Sequence Transformations /
by: Delahaye, Jean-Paul
Published: (1988)

Difference Methods and Their Extrapolations /
by: Marchuk, G. I.
Published: (1983)