However, rather than have part of the proof done by hand, and part by computer, he has automated the entire proof, and done so in such a manner that it is a formal proof.

ECONOMIST: Just what does it mean to prove something?

The U.S. Attorney demanded that one of the paintings be returned as proof that the works were on hand.

FORBES: Connoisseur's Guide

Companies in the learning distribution business, such as privately held Knowledge Planet , Saba (nasdaq: SABA - news - people)and Paul Allen 's Click2Learn (nasdaq: CLKS - news - people) on the other hand, hail MIT's plan as proof of the validity of their efforts.

FORBES: MIT Short Circuits Distance-Ed Sellers