Literatur zu Einschließungsverfahren

Diese Literaturliste umfaßt etwa 66 Seiten mit Angaben zu numerischen Verfahren mit Ergebnisverifikation, sowie den dazu erforderlichen Programmierumgebungen und arithmetischen Erweiterungen (genaues Skalarprodukt, Intervallrechnung, Hardwareunterstützung). Die Liste ist in TEX erstellt und liegt auf dem Webserver webserver.iam.uni-karlsruhe.de in Verzeichnis /documents/literature-list . Es gibt die unten aufgelisteten Varianten.
ACHTUNG: der ftp-Server ftp.iam.uni-karlsruhe.de existiert nicht mehr! Falls Sie Probleme haben sollten, schicken Sie mir bitte eine email.

Literature on Enclosure Methods

This literature list contains about 66 pages of references on numerical methods with result verification, and on the relevant tools like programming environments, arithmetic extensions (exact scalar product, interval arithmetic, hardware support). The list is a TEX document which may be obtained from the Webserver webserver.iam.uni-karlsruhe.de in directory /documents/literature-list . The variants listed below are available.
NOTE: the anonymous ftp server ftp.iam.uni-karlsruhe.de does not exist any longer! If you have any problems, please send me an email.
Gerd Bohlender, 3. März / March 2005