Verification methods
Siegfried M. Rump · 2010
The classical mathematical proof is performed by pencil and paper. However, there are many ways in which computers may be used in a mathematical proof. But "proofs by computers" or even the use of computers in the course of a proof are not so readily accepted (the December 2008 issue of the Notices of the American Mathematical Society is devoted to formal proofs by computers).