Record:   Prev Next
作者 Sainz, Miguel A., 1942- author
書名 Modal interval analysis : new tools for numerical information / Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Lambert Jorba, Joseph Vehi
出版項 Cham ; New York : Springer, [2014]
©2014
國際標準書號 9783319017204 (pbk.)
3319017209 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA3 .L28 no.2091    在架上    30340200532871
說明 xvi, 316 pages : illustrations ; 24 cm
text txt rdacontent
unmediated n rdamedia
volume nc rdacarrier
系列 Lecture notes in mathematics, 0075-8434 ; 2091
Lecture notes in mathematics (Springer-Verlag) ; 2091
附註 Includes bibliographical references (pages 307-311) and index
1. Intervals -- 2. Modal intervals -- 3. Modal interval extensions -- 4. Interpretability and optimality -- 5. Interval arithmetic -- 6. Equations and systems -- Twins and f * algorithm -- 8. Marks -- 9. Intervals of marks -- 10. Some related problems
This 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
鏈接 (GyWOH)har130593940
主題 Interval analysis (Mathematics)
Interval analysis (Mathematics) fast (OCoLC)fst00977572
Alt Author Armengol, Joaquim
Calm, Remei
Herrero, Pau
Jorba, Lambert
Vehi, Josep
Record:   Prev Next