Use of Computer Technology for Insight and Proof A. Eight Historical Examples B. Weaknesses and Strengths R. Wilson Barnard, Kent Pearce Texas Tech University.