01894nam0 2200397 i 450 VAN010155420211109014614.483N978311901721120150428d2014 |0itac50 baengCH|||| |||||Modal interval analysisnew tools for numerical informationMiguel A. Sainz ... [et al.]ChamSpringer2014XVI, 316 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer2091VAN0234055Modal interval analysis : new tools for numerical information139551265F10Iterative numerical methods for linear systems [MSC 2020]VANC022160MF65G50Roundoff error [MSC 2020]VANC023148MF03B10Classical first-order logic [MSC 2020]VANC024530MF26A24Differentiation (real functions of one variable): general theory, generalized derivatives, mean-value theorems [MSC 2020]VANC024616MF65G40General methods in interval analysis [MSC 2020]VANC030760MFIntervalsKW:KMarksKW:KQuantifiersKW:KCHChamVANL001889SainzMiguel A.VANV079374Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-319-01721-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0101554BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 08LNM2091 20150428 Modal interval analysis1395512UNICAMPANIA