Tuesday, January 18, 2011

Computer-assisted proof

http://en.wikipedia.org/wiki/Computer-assisted_proof

Some mathematicians believe computer-assisted proofs are not 'real' mathematical proofs.
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)