Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
Foderaro, John K., “Typesetting Macsyma Equations”, MS Report, UC Berkeley, December 1978.
Foster, Gregg, “DREAMS: Display Representation for Algebraic Manipulation Systems”, MS Report, UC Berkeley, (UCB/CSD 84/193), April 1984.
Geddes, K., Gonnet, G., and Char, B., Maple User's Manual, 2nd edition, University of Waterloo Research Report CS-82-40, December 1982.
Kernighan, Brian, and Cherry, Lorinda, “Typesetting Mathematics — User's Guide (Second Edition)”, Bell Labs Technical Report.
Hearn, Anthony C., Reduce User's Manual, Rand Corporation Report CP78, April 1983.
Martin, William A., “Computer Imput/Output of Mathematical Expressions,” 2nd Symposium on Symbolic and Algebraic Manipulation, March 1971.
MathLab, MACSYMA Reference Manual, The MathLab Group, Laboratory for Computer Science, MIT, January 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leler, W., Soiffer, N. (1986). An interactive graphical interface for symbolic algebra systems. In: Calmet, J. (eds) Algebraic Algorithms and Error-Correcting Codes. AAECC 1985. Lecture Notes in Computer Science, vol 229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16776-5_739
Download citation
DOI: https://doi.org/10.1007/3-540-16776-5_739
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16776-1
Online ISBN: 978-3-540-39855-4
eBook Packages: Springer Book Archive