Interactive programming and automated mathematics

Melvin Klerer. Interactive programming and automated mathematics. In Melvin Klerer, Juris Reinfelds, editors, Proceedings of the ACM Symposium on Interactive Systems for Experimental Applied Mathematics, Washington, D.C., USA, August 1, 1967. pages 3-10, ACM, 1967. [doi]

Abstract

Abstract is missing.