Monday, November 17, 2008

Computer verification of mathematical proofs.