An interactive graphical interface for REDUCE

ABSTRACT

The availability of workstations with bit-mapped displays opens up new possibilities for displaying and interacting with mathematical expressions. This paper describes an interactive graphical interface to Reduce. This system displays the output from Reduce in its natural, two dimensional form. The interactivity of the workstation is used to advantage in several ways, including allowing subexpressions to be selected using a mouse and reentered into Reduce.

REFERENCES

• 1: {Foderaro} Foderaro, John K., "Typesetting Macsyma Equations", MS Report, UC Berkeley, December 1978.
• 2: Gregg Foster, DREAMS: Display Representation of Algebraic Manipulation Systems, University of California at Berkeley, Berkeley, CA, 1984
• 3: {Maple} Geddes, K., Gonnet, G., and Char, B., Maple User's Manual, 2nd edition, University of Waterloo Research Report CS-82-40, December 1982.
• 4: {Genesereth} Genesereth, Michael R., "The Use of Semantics in a Tablet-Based Program for Selecting Parts of Mathematical Expressions", 1979 MACSYMA Users Conference, 1979.
• 5: {Eqn} Kernighan, Brian, and Cherry, Lorinda, "Typesetting Mathematics --- User's Guide (Second Edition)", Bell Labs Technical Report.
• 6: {Reduce} Hearn, Anthony C., Reduce User's Manual, Rand Corporation Report CP78, April 1983.
• 7: William A. Martin, Computer input/output of mathematical expressions, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.78-89, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806270]
• 8: {MACSYMA} MathLab, MACSYMA Reference Manual, The MathLab Group, Laboratory for Computer Science, MIT, January 1983.