Titel: Algebraic computation, numerical computation and verified inclusions
Sprache: Englisch
Autor/Autorin: Rump, Siegfried M.
Erscheinungsdatum: 1987
Quellenangabe: Trends in computer algebra, Lecture notes in computer science 296, 1988, pp. 177-97
Zusammenfassung (englisch): 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
URN: urn:nbn:de:gbv:830-tubdok-4295
DOI: 10.15480/882.356
ISBN: 3-540-18928-9
Institut: Zuverlässiges Rechnen E-19
Reliable Computing E-19
Dokumenttyp: InProceedings (Aufsatz / Paper einer Konferenz etc.)
Enthalten in den Sammlungen:tub.dok

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
S0001117.pdf666,05 kBAdobe PDFMiniaturbild
Öffnen/Anzeigen

Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.