UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (1)

UMons (1)

Resource type

book (1)

Language

English (1)

Year

From To

1993 (1)

Listing 1 - 1 of 1
Sort by

Numerical toolbox for verified computing I. Basic numerical problems : theory, algorithms, and Pascal-XSC programs
Authors: Hammer, Rolf --- Hocks, Matthias --- Kulisch, Ulrich
ISBN: 3540571183 Year: 1993 Publisher: Berlin Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Numerical analysis --- Error analysis (Mathematics) --- #KVIV:BB --- 519.6 --- 681.3 *G10 --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Computational mathematics. Numerical analysis. Computer programming --- Errors, Theory of --- Instrumental variables (Statistics) --- Mathematical statistics --- Statistics --- Mathematical analysis --- Computerwetenschap--?*G10

Listing 1 - 1 of 1
Sort by