J. H. Griesmer
ABSTRACT
The SCRATCHPAD/1 system is designed to provide an interactive symbolic computational facility for the mathematician user. The system features a user language designed to capture the style and succinctness of mathematical notation, together with a facility for conveniently introducing new notations into the language. A comprehensive system library incorporates symbolic capabilities provided by such systems as SIN, MATHLAB, and REDUCE.
- 1.Blair, F. W., Griesmer, J. H., and Jenks, R. D., "An interactive facility for symbolic mathematics," Proceedings of the International Computing Symposium, Bonn, Germany, 1970, pp. 394-419.Google Scholar
- 2.Blair, F. W., and Jenks, R. D., "LPL: LISP programming language," IBM Research Report, RC 3062, September 23, 1970.Google Scholar
- 3.Engeli, M. E., "User manual for the formula manipulation language SYMBAL," Computation Center, University of Texas at Austin, March 1968.Google Scholar
- 4.Engelman, C., "MATHLAB: A program for on-line assistance in symbolic computations," Proc. 1965 Fall Joint Computer Conference, Volume 27, Part 2, Thompson Book Co., Washington, D. C. and Academic Press, Inc., London, 1967, pp. 117-126; also Proc. 1965 Fall Joint Computer Conference, Volume 27, Part 1, Spartan Books, Washington, D. C., 1965, pp. 413-421.Google Scholar
- 5.Engelman, C., "MATHLAB 68," in Information Processing 68, A. J. H. Morrell, ed., North Holland Publishing Company, Amsterdam, 1969, pp. 462-467.Google Scholar
- 6.Falkoff, A.C. and Iverson, K. E., "APL/360: user's manual," IBM Thomas J. Watson Research Center, August 1968.Google Scholar
- 7.Fenichel, R. R., "An on-line system for algebraic manipulation," Project MAC Report MAC-TR-35 (Thesis), Massachusetts Institute of Technology, Cambridge, Mass., December 1966. Google ScholarDigital Library
- 8.Hearn, A. C., "A user-oriented interactive system for algebraic simplification," in Interactive Systems for Experimental and Applied Mathematics, M. Klerer and J. Reinfelds, eds., Academic Press, New York, 1968, pp. 79-90.Google Scholar
- 9.Hearn, A. C., "The problem of substitution," in Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, R.G. Tobey, ed., IBM Boston Programming Center, Cambridge, Mass., June 1969, pp. 3-19.Google Scholar
- 10.Hearn, A. C., "REDUCE2 user's manual," Stanford Artificial Intelligence Project Memorandum No. 133, Stanford University, Palo Alto, California, October, 1970.Google Scholar
- 11.Hearn, A. C., "REDUCE2: A system and language for algebraic manipulation," these proceedings. Google ScholarDigital Library
- 12.Jenks, R. D., "META/LISP: An interactive translator writing system," IBM Research Report, RC 2968, July 1970.Google Scholar
- 13.Jenks, R. D., "META/PLUS: The syntax extension facility for SCRATCHPAD," submittedGoogle Scholar
- 14.Korsvold, K. "An on-line algebraic simplify program," Stanford Artificial Intelligence Project Memorandum No. 37, Stanford University, Palo Alto, California, November 1965.Google Scholar
- 15.Korsvold, K., "An on-line program for non-numerical algebra," (abstract), Communications A. C. M., 9, (August 1966) p. 553.Google Scholar
- 16.Manove, M., Bloom, S., and Engelman, C., "Rational functions in MATHLAB," in Symbol Manipulation Languages and Techniques, D. G. Bobrow, Ed., North-Holland Publishing Company, Amsterdam 1968, pp. 86-97.Google Scholar
- 17.Martin, W. A., "Symbolic mathematical laboratory," Project MAC Report MAC-TR-36 (Thesis), Massachusetts Institute of Technology, Cambridge, Mass., January 1967.Google Scholar
- 18.Millen, J. K., "CHARYBDIS: A LISP program to display mathematical expressions on typewriter-like devices," in Interactive Systems for Experimental and Applied Mathematics, M. Klerer and J. Reinfelds, eds., Academic Press, New York, 1968, pp. 79-90.Google Scholar
- 19.Moses, J., "Symbolic integration," Project MAC Report MAC-TR-47 (Thesis), Massachusetts Institute of Technology, Cambridge, Mass., December 1967.Google Scholar
- 20.Schorre, D., V., "META II, A syntax-directed compiler writing language," Communications A.C.M., 8, (10), 1965, p. 605.Google Scholar
- 21.Shaw, J. C., "JOSS: A designer's view of an experimental on-line computer system," Proc. AFIPS 1964 Fall Joint Computer Conference, Spartan Books, Baltimore, Md. pp. 455-464.Google Scholar
Index Terms
- SCRATCHPAD/1: An interactive facility for symbolic mathematics
Recommendations
SCRATCHPAD: A capsule view
SCRATCHPAD is an interactive system for algebraic manipulation available under the CP/CMS time-sharing system at Yorktown Heights. It features an extensible declarative language for the interactive formulation of symbolic computations. The system is a ...
SCRATCHPAD: A capsule view
Proceedings of the symposium on Two-dimensional man-machine communicationSCRATCHPAD is an interactive system for algebraic manipulation available under the CP/CMS time-sharing system at Yorktown Heights. It features an extensible declarative language for the interactive formulation of symbolic computations. The system is a ...
The SCRATCHPAD language
SCRATCHPAD is an interactive system for symbolic mathematical computation. Its user language, originally intended as a special-purpose non-procedural language, was designed to capture the style and succinctness of common mathematical notations, and to ...
Comments