Highly Influenced

# 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} }

- Published in J. ACM 1969
DOI:10.1145/321495.321500

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