LEADER 02617nam 22004935 450 001 996465946603316 005 20200705035223.0 010 $a3-540-47118-9 024 7 $a10.1007/3-540-16798-6 035 $a(CKB)1000000000230549 035 $a(SSID)ssj0000320777 035 $a(PQKBManifestationID)11235369 035 $a(PQKBTitleCode)TC0000320777 035 $a(PQKBWorkID)10249588 035 $a(PQKB)11380148 035 $a(DE-He213)978-3-540-47118-9 035 $a(PPN)155164465 035 $a(EXLCZ)991000000000230549 100 $a20121227d1986 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAccurate Scientific Computations$b[electronic resource] $eSymposium, Bad Neuenahr, Federal Republic of Germany March 12-14, 1985. Proceedings /$fedited by Willard L. Miranker, Richard A. Toupin 205 $a1st ed. 1986. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1986. 215 $a1 online resource (XVI, 208 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v235 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-16798-6 327 $aComputing elementary functions: A new approach for achieving high accuracy and good performance -- Fast elementary function algorithms for 370 machines -- A new arithmetic for scientific computation -- New results on verified inclusions -- Accurate elliptic differential equation solver -- Case studies for augmented floating-point arithmetic -- Strict optimal error and residual estimates for the solution of linear algebraic systems by elimination methods in high-accuracy arithmetic -- Solving large sparse linear systems with guaranteed accuracy -- Symbolic and numeric manipulation of integrals -- Computer algebra and exact solutions to systems of polynomial equations -- The euclidean algorithm for gaussian integers -- An efficient stochastic method for round-off error analysis. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v235 606 $aNumerical analysis 606 $aNumerical Analysis$3https://scigraph.springernature.com/ontologies/product-market-codes/M14050 615 0$aNumerical analysis. 615 14$aNumerical Analysis. 676 $a518 702 $aMiranker$b Willard L$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aToupin$b Richard A$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465946603316 996 $aAccurate scientific computations$9878395 997 $aUNISA