Title :
Computer-assisted proofs
Author_Institution :
Univ. Wien, Vienna
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;
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
DOI :
10.1109/SCAN.2006.11
