New Application Related Developments in Informatics with Verified Results

Autor:	F. Krückeberg
Rok vydání:	1990
Předmět:	Variable (computer science) Computer science Informatics Rounding Double-precision floating-point format Arithmetic Symbolic computation Word length Computational science
Zdroj:	Advanced Information Processing ISBN: 9783540526834
DOI:	10.1007/978-3-642-93464-3_1
Popis:	For several scientific and technical applications we need computed results that can be automatically verified during the computing time. New Developments in Computer Science are Computer Algebra Systems and Highly Accurate Arithmetics with special Rounding Operations including Rounding Errors. The combining of Computer Algebra and Accurate Arithmetics with variable word length leads to a new class of hybrid methods producing verified results. The main ideas of these hybrid methods are explained and some examples are shown.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b258739016ff28f86470e99da9adf716 https://doi.org/10.1007/978-3-642-93464-3_1 Zobrazit plný text záznamu