"Scientific Computing With Automatic Result Verification (Mathematics in Science and Engineering,189)" - читать интересную книгу автора (Ernst Adams, U. Kulisch)