Title: Scientific computing and validated numerics
First published: 1996
Subjects: Congresses, Science, Numerical calculations, Verification, Data processing, Mathematics, data processing, Mathematics
LC classification: QA76.95 .I577 1995