06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice.

Peter Hertling Christoph M. Hoffmann Wolfram Luther Nathalie Revol 06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice. 2006 Reliable Implementation of Real Number Algorithms http://drops.dagstuhl.de/opus/volltexte/2006/711 conf/dagstuhl/2006P6021 db/conf/dagstuhl/P6021.html#HertlingHLR06