Advertisement

Scratchpad II: An abstract datatype system for mathematical computation

  • Richard D. Jenks
  • Robert S. Sutor
  • Stephen M. Watt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 296)

Abstract

Scratchpad II is an abstract datatype language and system that is under development in the Computer Algebra Group, Mathematical Sciences Department, at the IBM Thomas J. Watson Research Center. Many different kinds of computational objects and data structures are provided. Facilities for computation include symbolic integration, differentiation, factorization, solution of equations and linear algebra. Code economy and modularity is achieved by having polymorphic packages of functions that may create datatypes. The use of categories makes these facilities as general as possible.

Keywords

Computer Algebra System Yorktown Height Computational Object Symbolic Integration Expression Coerce 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [1]
    Burge, W. H., and Watt, S. M., “Infinite Structures in Scratchpad II,” IBM Research Report RC 12794 (Yorktown Heights, New York: May 27, 1987).Google Scholar
  2. [2]
    Computer Algebra Group, Basic Algebraic Facilities of the Scratchpad II Computer Algebra System, Yorktown Heights, New York: IBM Corporation, March 1986.Google Scholar
  3. [3]
    Jenks, R. D. and Trager, B. M., “A Language for Computational Algebra,” Proceedings of SYMSAC '81, 1981 Symposium on Symbolic and Algebraic Manipulation, Snowbird, Utah, August, 1981. Also SIGPLAN Notices, New York: Association for Computing Machinery, November 1981, and IBM Research Report RC 8930 (Yorktown Heights, New York).Google Scholar
  4. [4]
    Jenks, R. D., “A Primer: 11 Keys to New Scratchpad,” Proceedings of EUROSAM '84, 1984 International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 1984Google Scholar
  5. [5]
    Sutor, R. S., ed. The Scratchpad II Newsletter, Vol. 1, No. 1, Yorktown Heights, New York: IBM Corporation, September 1, 1985.Google Scholar
  6. [6]
    Sutor, R. S., ed. The Scratchpad II Newsletter, Vol. 1, No. 2, Yorktown Heights, New York: IBM Corporation, January 15, 1986.Google Scholar
  7. [7]
    Sutor, R. S., ed. The Scratchpad II Newsletter, Vol. 1, No. 3, Yorktown Heights, New York: IBM Corporation, May 15, 1986.Google Scholar
  8. [8]
    Sutor, R. S., and Jenks, R. D., “The Type Inference and Coercion Facilities in the Scratchpad II Interpreter,” Proceedings of the SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques, SIGPLAN Notices 22, 7, pp. 56–63, New York: Association for Computing Machinery, July 1987, and IBM Research Report RC 12595 (Yorktown Heights, New York: March 19, 1987).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Richard D. Jenks
    • 1
  • Robert S. Sutor
    • 1
  • Stephen M. Watt
    • 1
  1. 1.Computer Algebra Group Mathematical Sciences DepartmentIBM Thomas J. Watson Research CenterYorktown HeightsUSA

Personalised recommendations