• Publications
  • Influence
Semi-Automated Mathematics
TLDR
SAM V, the fifth program, is oriented primarily toward the development of efficient automatic techniques for handling some of the basic processes of mathematical deduction, and toward the realization of efficient real-time interaction between man and machine through the use of cathode-ray tube displays. Expand
  • 74
  • 6
CRT-AIDED SEMI-AUTOMATED MATHEMATICS
TLDR
SAM V, the fifth program, uses a cathode ray tube as the principal interface between the mathematician and a high speed digital computer for semi-automated mathematics. Expand
  • 9
  • 1