Verification methods: Rigorous results using floating-point arithmetic

doi:10.1017/s096249291000005x

Verification methods: Rigorous results using floating-point arithmetic

2010-05-10

0

PRE

AI

DOI：10.1017/s096249291000005x

原文链接

原文求助

摘要

En 中文

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.

Verification methods: Rigorous results using floating-point arithmetic

摘要

AI总结

期刊

机构

引用论文