Cover Image
Read Now

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers

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 rel...

Full description

Bibliographic Details
Other Authors: Hertling, Peter (Editor), Hoffmann, Christoph M. (Editor), Luther, Wolfram (Editor), Revol, Nathalie (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2008, 2008
Edition:1st ed. 2008
Series:Theoretical Computer Science and General Issues
Subjects:
Symbolic And Algebraic Manipulation
Programming Techniques
Computer Science
Computer Science / Mathematics
Computer Programming
Discrete Mathematics In Computer Science
Algorithms
Computer Arithmetic And Logic Units
Arithmetic And Logic Structures
Discrete Mathematics
Theory Of Computation
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary: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
Physical Description:XI, 239 p online resource
ISBN:9783540855217

Similar Items