Conference paper
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.
Related
Conference paper
YES/MVS: A CONTINUOUS REAL TIME EXPERT SYSTEM.
Conference paper