SCRATCHPAD/1: An interactive facility for symbolic mathematics

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.

REFERENCES

• 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.
• 2: Blair, F. W., and Jenks, R. D., "LPL: LISP programming language," IBM Research Report, RC 3062, September 23, 1970.
• 3: Engeli, M. E., "User manual for the formula manipulation language SYMBAL," Computation Center, University of Texas at Austin, March 1968.
• 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.
• 5: Engelman, C., "MATHLAB 68," in Information Processing 68, A. J. H. Morrell, ed., North Holland Publishing Company, Amsterdam, 1969, pp. 462-467.
• 6: Falkoff, A.C. and Iverson, K. E., "APL/360: user's manual," IBM Thomas J. Watson Research Center, August 1968.
• 7: R. R. Fenichel, AN ON-LINE SYSTEM FOR ALGEBRAIC MANIPULATION, Massachusetts Institute of Technology, Cambridge, MA, 1966
• 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.
• 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.
• 10: Hearn, A. C., "REDUCE2 user's manual," Stanford Artificial Intelligence Project Memorandum No. 133, Stanford University, Palo Alto, California, October, 1970.
• 11: Anthony C. Hearn, REDUCE 2: A system and language for algebraic manipulation, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.128-133, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806277]
• 12: Jenks, R. D., "META/LISP: An interactive translator writing system," IBM Research Report, RC 2968, July 1970.
• 13: Jenks, R. D., "META/PLUS: The syntax extension facility for SCRATCHPAD," submitted
• 14: Korsvold, K. "An on-line algebraic simplify program," Stanford Artificial Intelligence Project Memorandum No. 37, Stanford University, Palo Alto, California, November 1965.
• 15: Korsvold, K., "An on-line program for non-numerical algebra," (abstract), Communications A. C. M., 9, (August 1966) p. 553.
• 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.
• 17: Martin, W. A., "Symbolic mathematical laboratory," Project MAC Report MAC-TR-36 (Thesis), Massachusetts Institute of Technology, Cambridge, Mass., January 1967.
• 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.
• 19: Moses, J., "Symbolic integration," Project MAC Report MAC-TR-47 (Thesis), Massachusetts Institute of Technology, Cambridge, Mass., December 1967.
• 20: Schorre, D., V., "META II, A syntax-directed compiler writing language," Communications A.C.M., 8, (10), 1965, p. 605.
• 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.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.3 Languages and Systems

          Nouns: SCRATCHPAD

Additional Classification:
  H. Information Systems
  H.1 MODELS AND PRINCIPLES
      H.1.2 User/Machine Systems

  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.1 Expressions and Their Representation
          Subjects: Simplification of expressions

General Terms:
Algorithms, Human Factors, Theory