An interactive graphical interface for symbolic algebra systems

  • Wm Leler
  • Neil Soiffer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 229)


Given the large number of symbolic algebra systems being offered that run on workstations it is unfortunate, and perhaps a bit surprising, that not much work has been done on improving the user interface. We have designed and implemented a program that displays mathematical expressions in much the same way a user would write them. The ability to interact with the displayed form opens up new solutions to the problems of displaying mathematical expressions. We hope that our work encourages others to tackle the problems involved in designing and implementing a general, graphical environment for interacting with symbolic algebra systems, and other systems that use mathematical expressions.


Mathematical Expression Graphical Environment Large Expression Left Mouse Button Italic Font 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Foderaro]
    Foderaro, John K., “Typesetting Macsyma Equations”, MS Report, UC Berkeley, December 1978.Google Scholar
  2. [Foster]
    Foster, Gregg, “DREAMS: Display Representation for Algebraic Manipulation Systems”, MS Report, UC Berkeley, (UCB/CSD 84/193), April 1984.Google Scholar
  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.Google Scholar
  4. [Eqn]
    Kernighan, Brian, and Cherry, Lorinda, “Typesetting Mathematics — User's Guide (Second Edition)”, Bell Labs Technical Report.Google Scholar
  5. [Reduce]
    Hearn, Anthony C., Reduce User's Manual, Rand Corporation Report CP78, April 1983.Google Scholar
  6. [Martin]
    Martin, William A., “Computer Imput/Output of Mathematical Expressions,” 2nd Symposium on Symbolic and Algebraic Manipulation, March 1971.Google Scholar
  7. [MACSYMA]
    MathLab, MACSYMA Reference Manual, The MathLab Group, Laboratory for Computer Science, MIT, January 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Wm Leler
    • 1
  • Neil Soiffer
    • 1
  1. 1.Computer Research LabTektronix, Inc.BeavertonUSA

Personalised recommendations