| 書目名稱 | Reliable Implementation of Real Number Algorithms: Theory and Practice |
| 副標(biāo)題 | International Semina |
| 編輯 | Peter Hertling,Christoph M. Hoffmann,Nathalie Revo |
| 視頻video | http://file.papertrans.cn/827/826441/826441.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | A large amount of the capacity of today’s computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number computations: the problem of veri?edor reliablecomputations. Since real numbersare objects c- taining an in?nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems caused by unveri?ed - plementations of real number algorithms using ?nite precision. While this is t- ditionally seen to be a problem in numerical mathematics, there are also several scienti?c communities in computer science that are dealing with this problem. This book is a follow-up of the Dagstuhl Seminar 06021 on “Reliable Imp- mentation of Real Number Algorithms: Theory and Practice,” which took place January 8–13, 2006. It was intended to stimulate an exchange of ideas between the di?erent communities that deal with the problem of reliable implementation of real number algorithms either from a theoretical or from a practical point of view. Forty-eight researchers from many di?erent countries and many di?erent disciplines gathered in the castle |
| 出版日期 | Conference proceedings 2008 |
| 關(guān)鍵詞 | algorithms; arithmetic; calculus; complexity; computability; computational geometry; geometry; homotopy; mod |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-85521-7 |
| isbn_softcover | 978-3-540-85520-0 |
| isbn_ebook | 978-3-540-85521-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2008 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 09:08
發(fā)表于 2025-3-21 17:14:14
