Bibliography on enclosure methods and related topics (1993) [5 citations — 0 self]
Download:
|
|
by Dr. Gerd Bohlender
in Scientific Computing with Automatic Result Verification
ftp://ftp.iam.uni-karlsruhe.de/pub/documents/literature-list/litlist.ps
Add To MetaCart
Abstract:
This bibliography lists publications on so-called enclosure methods which allow to compute verified numerical results (see the introduction). In addition to these numerical methods, publications on the following subjects are included in the list, provided that they are relevant to enclosure methods: computer arithmetic, hardware support, traditional and multiprecision arithmetic, standard functions, interval methods, verification methods, expert systems, parallel programming, super computers, programming languages, problem
Citations
No citations identified.
