MathScribe: a user interface for computer algebra systems

ABSTRACT

This paper describes MathScribe, a powerful user interface for computer algebra systems. The interface makes use of a bitmapped display, windows, menus, and a mouse. Significant new features of MathScribe are its display of both input and output in two-dimensional form, its ability to select previous expressions, and its computationally efficient manner of displaying large expressions.

REFERENCES

• Abd85: S. Kamal Abdali , Guy W. Cherry, Visual Environments for Symbolic Computation, Research Contributions from the European Conference on Computer Algebra-Volume 2, p.166-167, April 01-03, 1985
• Ell85: R. J. EUison and B. J. Staudt, "The Evolution of the GANDALF System," J. of Systems and Software, vol. 5, no. 2, pp. 107-119, May, 1985.
• Fos84: Gregg Foster, DREAMS: Display Representation of Algebraic Manipulation Systems, University of California at Berkeley, Berkeley, CA, 1984
• Gol84: Adele Goldberg, SMALLTALK-80: the interactive programming environment, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1984
• Kai85: G. E. Kaiser and E. Kant, "Incremental Parsing Without a Parser," J. of Systems and Software, vol. 5, no. 2, pp. 121-144, May, 1985.
• Ker78: B. Kernighan and L. Cherry, "Tyt~setting Mathematics ~ User's Guide (Second Ed)," in UNIX Programmer's Manual, vol. 2b, Bell Laboratories, Murray Hill, NJ, 1978.
• Knu84: Donald E. Knuth, The TEXbook, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• Lel85: Wm Leler , Neil Soiffer, An interactive graphical interface for REDUCE, ACM SIGSAM Bulletin, v.19 n.3, p.17-23, August 1985 [doi>10.1145/1089411.1089414]
• Leo86: B. L. Leong, Iris: design of an user interface program for symbolic algebra, Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, p.1-6, July 21-23, 1986, Waterloo, Ontario, Canada [doi>10.1145/32439.32440]
• Mar71: 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]
• Qui83: V. Quint, "An Interactive System for Mathematical Text Processing," Technology and Science of lnformatics, vol. 2, no. 3, pp. 169-179, 1983.
• Qui84: V. Quint, "Interactive Editing of Mathematics," Proc. First International Conference on Text Processing Systems, pp. 55-68, Boole Press Limited, October, 1984.
• Sch84: Mayer D. Schwartz , Norman M. Delisle , Vimal S. Begwani, Incremental compilation in Magpie, Proceedings of the 1984 SIGPLAN symposium on Compiler construction, p.122-131, June 17-22, 1984, Montreal, Canada
• Tei81: Tim Teitelbaum , Thomas Reps, The Cornell program synthesizer: a syntax-directed programming environment, Communications of the ACM, v.24 n.9, p.563-573, Sept. 1981 [doi>10.1145/358746.358755]
• Xer84: Xerox, 8010 STAR Information System Reference Library, Xerox Corporation, 1984.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: User interfaces

General Terms:
Design, Human Factors, Theory