DocumentCode
2379283
Title
Computer-assisted proofs
Author
Neumaier, A.
Author_Institution
Univ. Wien, Vienna
fYear
2006
fDate
26-29 Sept. 2006
Firstpage
5
Lastpage
5
Abstract
This paper discusses the problem what makes a computer-assisted proof trustworthy, the quest for an algorithmic support system for computer-assisted proof relations to global optimization, an analysis of some recent proofs, and some current challenges which appear to be amenable to a computer-assisted treatment.
Keywords
algorithm theory; theorem proving; algorithmic support system; computer-assisted proof trustworthy; computer-assisted treatment; global optimization; Algorithm design and analysis; Biology computing; Computer bugs; Computer errors; Debugging; Digital arithmetic; Hardware; History; Humans; Mathematics;
fLanguage
English
Publisher
ieee
Conference_Titel
Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. SCAN 2006. 12th GAMM - IMACS International Symposium on
Conference_Location
Duisburg
Print_ISBN
978-0-7695-2821-2
Type
conf
DOI
10.1109/SCAN.2006.11
Filename
4402395
Link To Document