|Publisher DOI:||10.1017/S096249291000005X||Title:||Verification methods: rigorous results using floating-point arithmetic||Language:||English||Authors:||Rump, Siegfried M.||Issue Date:||10-May-2010||Publisher:||Cambridge Univ. Press||Source:||Acta Numerica (19): 287-449 (2010-05-10)||Journal or Series Name:||Acta numerica||Abstract (english):||
A classical mathematical proof is constructed using pencil and paper. However, there are many ways in which computers may be used in a mathematical proof. But proof by computer, or even the use of computers in the course of a proof, is not so readily accepted (the December 2008 issue of the Notices of the American Mathematical Society is devoted to formal proofs by computer). In the following we introduce verification methods and discuss how they can assist in achieving a mathematically rigorous result. In particular we emphasize how floating-point arithmetic is used.
|URI:||http://hdl.handle.net/11420/8540||ISSN:||1474-0508||Institute:||Zuverlässiges Rechnen E-19||Document Type:||Article|
|Appears in Collections:||Publications without fulltext|
Show full item record
checked on Mar 1, 2021
Add Files to Item
Note about this record
Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.