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)

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

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

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)

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

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

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)

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

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

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

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

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

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)

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

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

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

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

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

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)

Learning Algorithms Theory and Applications /
by: Lakshmivarahan, S.
Published: (1981)

Fast Fourier Transform and Convolution Algorithms /
by: Nussbaumer, Henri J.
Published: (1981)

Fast Fourier Transform and Convolution Algorithms /
by: Nussbaumer, Henri J.
Published: (1982)

Numerical Algorithms for Modern Parallel Computer Architectures /
by: Schultz, Martin H.
Published: (1988)

Boundary Value Problems in Linear Viscoelasticity /
by: Golden, John M.
Published: (1988)

Mathematical Theory of Elastic Structures /
by: Kang, Feng
Published: (1996)

Inverse Acoustic and Electromagnetic Scattering Theory /
by: Colton, David L., 1943-
Published: (1992)

Perturbation Methods in Applied Mathematics /
by: Kevorkian, J.
Published: (1981)

Numerical Solution of Partial Differential Equations /
by: Meis, Theodor
Published: (1981)

Well-Posedness of Parabolic Difference Equations /
by: Ashyralyev, A.
Published: (1994)

James Stirling's Methodus Differentialis : an Annotated Translation of Stirling's Text /
by: Tweddle, Ian
Published: (2003)

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

Numerical Methods for Bifurcation Problems and Large-Scale Dynamical Systems /
by: Doedel, Eusebius
Published: (2000)

Differential and Difference Equations through Computer Experiments : With Diskettes Containing PHASER: An Animator/Simulator for Dynamical Systems for IBM Personal Computers /
by: Koçak, Hüseyin
Published: (1986)

Discrete Iterations : a Metric Study /
by: Robert, François
Published: (1986)