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.
ISSN: 1474-0508
Institute: Zuverlässiges Rechnen E-19 
Document Type: Article
Appears in Collections:Publications without fulltext

Show full item record

Page view(s)

Last Week
Last month
checked on Mar 1, 2021

Google ScholarTM


Add Files to Item

Note about this record


Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.