@inproceedings{Bennett1967CRTAIDEDSM,
title={CRT-AIDED SEMI-AUTOMATED MATHEMATICS},
author={J. H. Bennett and W. B. Easton and J. R. Guard and L. G. Settle},
year={1967}
}

Abstract : The report describes the status of the fifth in a series of five experiments in semi-automated mathematics. These experiments culminated in large complex computer programs which allow a mathematician to prove mathematical theorems on a man-machine basis. SAM V, the fifth program, uses a cathode ray tube as the principal interface between the mathematician and a high speed digital computer. An elaborate language and logical capability has been implemented in SAM V. These include I/O… CONTINUE READING