Please use this identifier to cite or link to this item: https://doi.org/10.15480/882.356
Fulltext available Open Access
Title: Algebraic computation, numerical computation and verified inclusions
Language: English
Authors: Rump, Siegfried M. 
Issue Date: 1987
Source: Trends in computer algebra, Lecture notes in computer science 296, 1988, pp. 177-97
Abstract (english): The three different types of computation - the algebraic manipulation, the numerical computation and the computation of verified results - are aiming on different problems and deliver qualitatively different results, each method having its specific advantages for specific classes of problems. The following remarks give some thoughts on possible combinations of all three methods to obtain algorithms benefitting from the specific strength of eiter method.
URI: http://tubdok.tub.tuhh.de/handle/11420/358
DOI: 10.15480/882.356
ISBN: 3-540-18928-9
Institute: Zuverlässiges Rechnen E-19 
Type: InProceedings (Aufsatz / Paper einer Konferenz etc.)
License: http://doku.b.tu-harburg.de/doku/lic_ohne_pod.php
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
S0001117.pdf666,05 kBAdobe PDFThumbnail
View/Open
Show full item record

Page view(s)

506
Last Week
1
Last month
5
checked on Sep 18, 2020

Download(s)

414
checked on Sep 18, 2020

Google ScholarTM

Check

Note about this record

Export

Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.