Additional Key Words and Phrases: man/machine mathematics, semi-automated mathematics, mathematical displays on CRT, man/machine interaction
Selected papers that cite this one
- James R. Slagle. Automated theorem-proving for theories with simplifiers, commutativity, and associativity. Journal of the ACM, 21(4):622-642, October 1974.