Title: Topics in validated computations
First published: 1994
Subjects: Congresses, Numerical calculations, Interval analysis (Mathematics), Algorithms, Verification, History
LC classification: QA297.75 .I43 1993