SCRATCHPAD/1: An interactive facility for symbolic mathematics

Proceedings of the 2nd ACM Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1971

Volumn , Issue , 1971, Pages 42-58

  Griesmer, J H ^a   Jenks, R D ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA;

COMPREHENSIVE SYSTEM; MATHEMATICAL NOTATIONS; MATHLAB; SCRATCHPAD; SYMBOLIC MATHEMATICS; SYSTEM FEATURES;

MEMORY ARCHITECTURE;

EID: 85033238378     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

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 online 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;
5. also Proc. 1965 Fall Joint Computer Conference, Volume 27, Part 1, Spartan Books, Washington, D. C., 1965, pp. 413-421.
6. Engelman, C., "MATHLAB 68," in Information Processing 68, A. J. H. Morrell, ed., North Holland Publishing Company, Amsterdam, 1969, pp. 462-467.
7. Falkoff, A.C. and Iverson, K. E., "APL/360: user's manual," IBM Thomas J. Watson Research Center, August 1968.
8. Fenichel, R. R. , "An on-line system for algebraic manipulation," Project MAC Report MAC-TR-35 (Thesis), Massachusetts Insitute of Technology, Cambridge, Mass., December 1966.
9. 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.
10. 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.
11. Hearn, A. C., "REDUCE2 user's manual," Stanford Artificial Intelligence Project Memorandum No. 133, Stanford University, Palo Alto, California, October, 1970.
12. Hearn, A. C., "REDUCE 2: A system and language for algebraic manipulation," these proceedings.
13. Jenks, R. D., "META/LISP: An interactive translator writing system," IBM Research Report, RC 2968, July 1970.
14. Jenks, R. D., "META/PLUS: The syntax extension facility for SCRATCHPAD," submitted
15. Korsvold, K. "An on-line algebraic simplify program," Stanford Artificial Intelligence Project Memorandum No. 37, Stanford University, Palo Alto, California, November 1965.
16. Korsvold, K., "An on-line program for non-numerical algebra," (abstract), Communications A. C. M., 9, (August 1966) p. 553.
17. 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.
18. Martin, W. A., "Symbolic mathematical laboratory," Project MAC Report MAC-TR-36 (Thesis), Massachusetts Institute of Technology, Cambridge, Mass., January 1967.
19. 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.
20. Moses, J., "Symbolic integration," Project MAC Report MAC-TR-47 (Thesis), Massachusetts Institute of Technology, Cambridge, Mass., December 1967.
21. Schorre, D., V., "META II, A syntax-directed compiler writing language," Communications A.C.M., 8, (10), 1965, p. 605.
22. 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.