The SCRATCHPAD system

Abstract

SCRATCHPAD is an experimental interactive for symbolic computation in use at the IBM Thomas son Research Center. SCRATCHPAD has facilities manipulation of multi-indexed variables and functions, and infinite sums, products, and sequences, and polynomials of arrays. Among the specific capabilities offered system are the following: Multiple-precision integer arithmetic Rational number arithmetic Polynomial and rational function manipulation Differentiation Symbolic integration Manipulation of formal power series Symbolic solution of systems of polynomial equations Two-dimensional output of mathematical expressions