Tuesday, November 18, 2008

Computer verification of mathematical proofs.