Scientific Computation with Automatic Result Verification This work collects a number of contributions which aim to compute rigorous and reliable error bounds for the solution of numerical problems. An introduction by the editors about the meaning and diverse methods of automatic result verification is followed by 16 original contributions.
"synopsis" may belong to another edition of this title.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. pp. viii + 244. Seller Inventory # 1850388653
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA75803878206396
Quantity: 1 available