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 of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di?erent theoretical models and practical - proaches for reliable real number computations.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
This book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006.
The Seminar was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerGratis für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-1338
Anzahl: 1 verfügbar
Anbieter: Basi6 International, Irving, TX, USA
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-271145
Anzahl: 3 verfügbar
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 4681496/12
Anzahl: 1 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. pp. 256. Bestandsnummer des Verkäufers 18394853
Anzahl: 1 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 256. Bestandsnummer des Verkäufers 26394863
Anzahl: 1 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. pp. 256 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 7453104
Anzahl: 1 verfügbar
Anbieter: moluna, Greven, Deutschland
Zustand: New. Bestandsnummer des Verkäufers 4901522
Anzahl: Mehr als 20 verfügbar
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di erent theoretical models and practical - proaches for reliable real number computations. 256 pp. Englisch. Bestandsnummer des Verkäufers 9783540855200
Anzahl: 2 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di erent theoretical models and practical - proaches for reliable real number computations. Bestandsnummer des Verkäufers 9783540855200
Anzahl: 1 verfügbar
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -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 of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di erent theoretical models and practical - proaches for reliable real number computations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch. Bestandsnummer des Verkäufers 9783540855200
Anzahl: 2 verfügbar