CRT-AIDED SEMI-AUTOMATED MATHEMATICS

@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}
}
  • J. H. Bennett, W. B. Easton, +1 author L. G. Settle
  • Published 1967
  • Computer Science
  • 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
    9 Citations

    Topics from this paper