LEADER 00958nam0-22003251i-450- 001 990000454830403321 005 20081107132718.0 010 $a88-317-4642-1 035 $a000045483 035 $aFED01000045483 035 $a(Aleph)000045483FED01 035 $a000045483 100 $a20020821d1983----km-y0itay50------ba 101 1 $aita$cfre 105 $aa-------001yy 200 1 $aInformazione senza frontiere$ele grandi sfide culturali delle future comunicazioni$fJean-Pierre Chamoux 210 $aRoma$cSarin$aVenezia$cMarsilio editori$dİ1983 215 $a125 p.$cill.$d22x22 cm 225 1 $aTelematica 610 0 $aInformazione 610 0 $aTelecomunicazioni 676 $a410.28 700 1$aChamoux,$bJean-Pierre$025279 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000454830403321 952 $a10 I 111$b447 DIS$fDINEL 959 $aDINEL 996 $aInformazione senza frontiere$9334377 997 $aUNINA LEADER 01050nam0-22003611i-450- 001 990005558030203316 005 20130626114705.0 035 $a000555803 035 $aUSA01000555803 035 $a(ALEPH)000555803USA01 035 $a000555803 100 $a20121027d2005----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay|||z|||001yy 200 1 $aApocalissi e letteratura$fa cura di Ida De Michelis 210 $aRoma$cBulzoni$d2005 215 $a269 p.$d24 cm 225 2 $aStudi (e testi) italiani$v15 410 0$12001$aStudi (e testi) italiani$v15 606 0 $aLetteratura italiana$xTemi [:] Apocalisse$2BNCF 676 $a850.9382 702 1$aDE MICHELIS,$bIda 801 0$aIT$bsalbc$gISBD 912 $a990005558030203316 951 $aVI.3.B. 4481$b189105 L.M.$cVI.3.B.$d00341675 959 $aBK 969 $aUMA 979 $c20121027$lUSA01$h1533 979 $c20121027$lUSA01$h1613 979 $aANNAMARIA$b90$c20130626$lUSA01$h1147 996 $aApocalissi e letteratura$91097492 997 $aUNISA LEADER 03095nam 2200541 450 001 9910466001203321 005 20200923020339.0 010 $a3-11-049805-7 010 $a3-11-049946-0 024 7 $a10.1515/9783110499469 035 $a(CKB)3710000001177226 035 $a(MiAaPQ)EBC4843236 035 $a(DE-B1597)470629 035 $a(OCoLC)984647843 035 $a(DE-B1597)9783110499469 035 $a(Au-PeEL)EBL4843236 035 $a(CaPaEBR)ebr11375535 035 $a(CaONFJC)MIL1006393 035 $a(OCoLC)983733377 035 $a(EXLCZ)993710000001177226 100 $a20170505h20172017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aInterval analysis $eand automatic result verification /$fGu?nter Mayer 210 1$aBerlin, [Germany] ;$aBoston, [Massachusetts] :$cDe Gruyter,$d2017. 210 4$dİ2017 215 $a1 online resource (518 pages) 225 1 $aDe Gruyter Studies in Mathematics,$x0179-0986 ;$vVolume 65 311 $a3-11-050063-9 320 $aIncludes bibliographical references and indexes. 327 $tFrontmatter -- $tPreface -- $tContents -- $t1. Preliminaries -- $t2. Real intervals -- $t3. Interval vectors, interval matrices -- $t4. Expressions, P-contraction, ?-inflation -- $t5. Linear systems of equations -- $t6. Nonlinear systems of equations -- $t7. Eigenvalue problems and related ones -- $t8. Automatic differentiation -- $t9. Complex intervals -- $tFinal Remarks -- $tAppendix -- $tA. Proof of the Jordan normal form -- $tB. Two elementary proofs of Brouwer's fixed point theorem -- $tC. Proof of the Newton-Kantorovich Theorem -- $tD. Convergence proof of the row cyclic Jacobi method -- $tE. The CORDIC algorithm -- $tF. The symmetric solution set - a proof of Theorem 5.2.6 -- $tG. A short introduction to INTLAB -- $tBibliography -- $tSymbol Index -- $tAuthor Index -- $tSubject Index 330 $aThis self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through many examples and exercises, and guides the reader from the basics of the theory to current research topics in the mathematics of computation. Contents Preliminaries Real intervals Interval vectors, interval matrices Expressions, P-contraction, ?-inflation Linear systems of equations Nonlinear systems of equations Eigenvalue problems Automatic differentiation Complex intervals 410 0$aDe Gruyter studies in mathematics ;$vVolume 65. 606 $aInterval analysis (Mathematics) 608 $aElectronic books. 615 0$aInterval analysis (Mathematics) 676 $a511.42 700 $aMayer$b Gu?nter$0171361 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910466001203321 996 $aInterval analysis$92465137 997 $aUNINA