Semi-Automated Mathematics

@article{Guard1969SemiAutomatedM,
  title={Semi-Automated Mathematics},
  author={J. R. Guard and F. C. Oglesby and James Henry Bennett and L. G. Settle},
  journal={J. ACM},
  year={1969},
  volume={16},
  pages={49-62}
}
The fifth in a series of experiments in semi-automated mathematics is described. These experiments culminated in large complex computer programs which allow a mathematician to prove mathematical theorems on an man/machine basis. SAM V, the fifth program, is oriented primarily toward the development of efficient automatic techniques for handling some of the more basic processes of mathematical deduction, and toward the realization of efficient real-time interaction between man and machine… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…