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