LEADER 04028nam 22006975 450 001 9910300151703321 005 20200701170422.0 010 $a3-319-01721-7 024 7 $a10.1007/978-3-319-01721-1 035 $a(CKB)3710000000078583 035 $a(DE-He213)978-3-319-01721-1 035 $a(SSID)ssj0001067700 035 $a(PQKBManifestationID)11681944 035 $a(PQKBTitleCode)TC0001067700 035 $a(PQKBWorkID)11092888 035 $a(PQKB)10824733 035 $a(MiAaPQ)EBC3107068 035 $a(PPN)176104704 035 $a(EXLCZ)993710000000078583 100 $a20131116d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModal Interval Analysis $eNew Tools for Numerical Information /$fby Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Lambert Jorba, Josep Vehi 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XVI, 316 p. 37 illus., 3 illus. in color.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v2091 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-01720-9 320 $aIncludes bibliographical references and index. 327 $aIntervals -- Modal Intervals -- Modal interval extensions -- Interpretability and optimality -- Interval arithmetic -- Equations and systems -- Twins and f -star algorithm -- Marks -- Intervals of marks -- Some related problems. 330 $aThis book presents an innovative new approach to interval analysis. Modal Interval Analysis (MIA) is an attempt to go beyond the limitations of classic intervals in terms of their structural, algebraic and logical features. The starting point of MIA is quite simple: It consists in defining a modal interval that attaches a quantifier to a classical interval and in introducing the basic relation of inclusion between modal intervals by means of the inclusion of the sets of predicates they accept. This modal approach introduces interval extensions of the real continuous functions, identifies equivalences between logical formulas and interval inclusions, and provides the semantic theorems that justify these equivalences, along with guidelines for arriving at these inclusions. Applications of these equivalences in different areas illustrate the obtained results. The book also presents a new interval object: marks, which aspire to be a new form of numerical treatment of errors in measurements and computations. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v2091 606 $aMathematical analysis 606 $aAnalysis (Mathematics) 606 $aControl engineering 606 $aNumerical analysis 606 $aAnalysis$3https://scigraph.springernature.com/ontologies/product-market-codes/M12007 606 $aControl and Systems Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/T19010 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 615 0$aMathematical analysis. 615 0$aAnalysis (Mathematics). 615 0$aControl engineering. 615 0$aNumerical analysis. 615 14$aAnalysis. 615 24$aControl and Systems Theory. 615 24$aNumeric Computing. 676 $a515 700 $aSainz$b Miguel A$4aut$4http://id.loc.gov/vocabulary/relators/aut$0525064 702 $aArmengol$b Joaquim$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aCalm$b Remei$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aHerrero$b Pau$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aJorba$b Lambert$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aVehi$b Josep$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910300151703321 996 $aModal interval analysis$9822800 997 $aUNINA