000 | 03666nam a22005415i 4500 | ||
---|---|---|---|
001 | 978-3-319-01721-1 | ||
003 | DE-He213 | ||
005 | 20190213151536.0 | ||
007 | cr nn 008mamaa | ||
008 | 131116s2014 gw | s |||| 0|eng d | ||
020 |
_a9783319017211 _9978-3-319-01721-1 |
||
024 | 7 |
_a10.1007/978-3-319-01721-1 _2doi |
|
050 | 4 | _aQA299.6-433 | |
072 | 7 |
_aPBK _2bicssc |
|
072 | 7 |
_aMAT034000 _2bisacsh |
|
072 | 7 |
_aPBK _2thema |
|
082 | 0 | 4 |
_a515 _223 |
100 | 1 |
_aSainz, Miguel A. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
245 | 1 | 0 |
_aModal Interval Analysis _h[electronic resource] : _bNew Tools for Numerical Information / _cby Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Lambert Jorba, Josep Vehi. |
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2014. |
|
300 |
_aXVI, 316 p. 37 illus., 3 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Mathematics, _x0075-8434 ; _v2091 |
|
505 | 0 | _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. | |
520 | _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. | ||
650 | 0 | _aGlobal analysis (Mathematics). | |
650 | 0 | _aElectronic data processing. | |
650 | 1 | 4 |
_aAnalysis. _0http://scigraph.springernature.com/things/product-market-codes/M12007 |
650 | 2 | 4 |
_aControl and Systems Theory. _0http://scigraph.springernature.com/things/product-market-codes/T19010 |
650 | 2 | 4 |
_aNumeric Computing. _0http://scigraph.springernature.com/things/product-market-codes/I1701X |
700 | 1 |
_aArmengol, Joaquim. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
700 | 1 |
_aCalm, Remei. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
700 | 1 |
_aHerrero, Pau. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
700 | 1 |
_aJorba, Lambert. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
700 | 1 |
_aVehi, Josep. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319017204 |
776 | 0 | 8 |
_iPrinted edition: _z9783319017228 |
830 | 0 |
_aLecture Notes in Mathematics, _x0075-8434 ; _v2091 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-01721-1 |
912 | _aZDB-2-SMA | ||
912 | _aZDB-2-LNM | ||
999 |
_c11030 _d11030 |