LEADER 03036nam2 22006253i 450 001 VAN00290605 005 20250619024234.962 017 70$2N$a9783642784231 100 $a20250402d1993 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aˆ1: ‰Basic Numerical Problems$eTheory, Algorithms, and Pascal-XSC Programs$fR. Hammer ... [et al.] 210 $aBerlin [etc.]$cSpringer-Verlag$d1993 215 $axv, 337 p.$cill.$d24 cm 410 1$1001VAN00035294$12001 $aSpringer series in computational mathematics$1210 $aBerlin [etc.]$cSpringer,1983-$v21 461 1$1001VAN00290603$12001 $aNumerical Toolbox for Verified Computing$fR. Hammer ... [et al.]$1210 $aBerlin [etc.]$cSpringer-Verlag$1215 $avolumi$cill.$d24 cm$v1 606 $a12-XX$xField theory and polynomials [MSC 2020]$3VANC019746$2MF 606 $a15-XX$xLinear and multilinear algebra; matrix theory [MSC 2020]$3VANC020607$2MF 606 $a65-XX$xNumerical analysis [MSC 2020]$3VANC019772$2MF 606 $a65D25$xNumerical differentiation [MSC 2020]$3VANC033867$2MF 606 $a65F05$xDirect numerical methods for linear systems and matrix inversion [MSC 2020]$3VANC027309$2MF 606 $a65G30$xInterval and finite arithmetic [MSC 2020]$3VANC022157$2MF 606 $a65H10$xNumerical computation of solutions to systems of equations [MSC 2020]$3VANC022161$2MF 606 $a65K05$xNumerical mathematical programming methods [MSC 2020]$3VANC028868$2MF 606 $a65Y20$xComplexity and performance of numerical algorithms [MSC 2020]$3VANC022992$2MF 606 $a68W30$xSymbolic computation and algebraic computation [MSC 2020]$3VANC019771$2MF 606 $a90-XX$xOperations research, mathematical programming [MSC 2020]$3VANC025650$2MF 610 $aAlgorithms$9KW:K 610 $aAutomatic Result Verification$9KW:K 610 $aNumerical Analysis$9KW:K 610 $aNumerics$9KW:K 610 $aOptimization$9KW:K 610 $aProgram verification$9KW:K 610 $aProgramming$9KW:K 610 $aScientific Computing$9KW:K 610 $aSelf-Verifying Numerics$9KW:K 610 $aSimplification$9KW:K 610 $aSimplification of Programming$9KW:K 610 $aVerification$9KW:K 610 $aVerified Computing$9KW:K 620 $dBerlin$3VANL000066 702 1$aHammer$bRolf$3VANV245805 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250620$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-642-78423-1$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00290605 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 11336 $e08eMF11336 20250611 996 $aBasic numerical problems$91405508 997 $aUNICAMPANIA