Interval analysis and automatic result verification (Record no. 46639)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02058nam a2200433 i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | UDJG |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | a||||go|||| 001 0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr aa aaaaaaaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 210127t2017 gw ||go|||| 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783110499469 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | UDJG |
| Language of cataloging | rum |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | MAYER, Günter |
| 9 (RLIN) | 41342 |
| 245 10 - TITLE STATEMENT | |
| Title | Interval analysis and automatic result verification |
| Medium | [online] / |
| Statement of responsibility, etc. | Günter Mayer |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Berlin : |
| Name of publisher, distributor, etc. | De Gruyter, |
| Date of publication, distribution, etc. | 2017 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 resursă online |
| -- | (518 p.) |
| 490 ## - SERIES STATEMENT | |
| Series statement | De Gruyter Studies in Mathematics, |
| Volume/sequential designation | 65 |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | Frontmatter |
| -- | Preface |
| -- | Contents |
| -- | 1. Preliminaries |
| -- | 2. Real intervals |
| -- | 3. Interval vectors, interval matrices |
| -- | 4. Expressions, P-contraction, ε-inflation |
| -- | 5. Linear systems of equations |
| -- | 6. Nonlinear systems of equations |
| -- | 7. Eigenvalue problems and related ones |
| -- | 8. Automatic differentiation |
| -- | 9. Complex intervals |
| -- | Final Remarks |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Appendix |
| Title | A. Proof of the Jordan normal form |
| -- | B. Two elementary proofs of Brouwer’s fixed point theorem |
| -- | C. Proof of the Newton–Kantorovich Theorem |
| -- | D. Convergence proof of the row cyclic Jacobi method |
| -- | E. The CORDIC algorithm |
| -- | F. The symmetric solution set – a proof of Theorem 5.2.6 |
| -- | G. A short introduction to INTLAB |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Bibliography |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Symbol Index |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Author Index |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Subject Index |
| 536 ## - FUNDING INFORMATION NOTE | |
| Text of note | Achiziție prin proiectul Anelis Plus 2020. |
| 648 ## - SUBJECT ADDED ENTRY--CHRONOLOGICAL TERM | |
| Source of heading or term | UDJG |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Source of heading or term | UDJG |
| Topical term or geographic name as entry element | DE-Matematică |
| 9 (RLIN) | 585 |
| 651 ## - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME | |
| Source of heading or term | UDJG |
| 655 ## - INDEX TERM--GENRE/FORM | |
| Source of term | UDJG |
| 690 #7 - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| 9 (RLIN) | 35248 |
| Topical term or geographic name as entry element | cărți electronice |
| 690 #7 - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Topical term or geographic name as entry element | cărți achiziții |
| 9 (RLIN) | 3407 |
| 690 #7 - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Topical term or geographic name as entry element | cărți străine |
| 9 (RLIN) | 102 |
| 690 #7 - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| 9 (RLIN) | 1978 |
| Topical term or geographic name as entry element | analiză matematică |
| 690 #7 - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| 9 (RLIN) | 8018 |
| Topical term or geographic name as entry element | algoritmi |
| 690 #7 - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| 9 (RLIN) | 18935 |
| Topical term or geographic name as entry element | știința și tehnologia calculatoarelor |
| 850 ## - HOLDING INSTITUTION | |
| Holding institution | UDJG |
| 856 41 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://www-degruyter-com.am.e-nformation.ro/view/title/523499?tab_body=overview">https://www-degruyter-com.am.e-nformation.ro/view/title/523499?tab_body=overview</a> |
| Public note | Acces la textul integral numai din contul de acces mobil. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Universal Decimal Classification |
| Koha item type | E-Books |
No items available.