References
[1] Abdali, K., Cherry, G. & Soiffer, N. (1986). An object-oriented approach to algebra system design. In Proc. Symp. Symbolic and Algebraic Computation, ed. B. Char, 24-30. New York, NY: ACM.
[2] Allen, T., Nix, R. & Perlis, A. (1981). PEN: a hierarchical document editor, ACM SIGPLAN Notices, 16, 6, 74-81.
[3] Arnon, D. (1987). Report of the workshop on environments for computational mathematics, Request for Comments No. RFC1019. Menlo Park, CA: ARPANET Information Center.
[4] Avitzur, R. (1987). MILO system [a MacIntosh program]. Palo Alto, CA.
[5] Becker, J. (1987). Arabic word processing, Comm. ACM, 30, 7, 600-610.
[6] Berman, R. & Kulp, J. (1979). A new environment for computational physics. In Proc. MACSYMA Users Conf., ed. V. Ellen Lewis, 622-632. Cambridge, MA: Laboratory for Computer Science, MIT.
[7] Bloomberg, D. & Hogg, T. (1987). Engineering/scientific workstation project, Xerox Palo Alto Research Center, GSL-87-01.
[8] Bundy, A. (1985). Discovery and reasoning in mathematics. In Proc. Int. Joint Conf. Artif. Intell., 1221-1230.
[9] Calmet, J. & Lugiez, D. (1987). A knowledge-based system for computer algebra, ACM SIGSAM Bulletin, 21, 1, 7-13.
[10] Clapp, L. & Kain, R.Y. (1963). A computer aid for symbolic mathematics, In Proc. AFIPS Fall Joint Comp. Conf., 24, 509-517.
[11] Collins, G. (1980). ALDES and SAC-2 now available, ACM SIGSAM Bulletin, 14, 2, 19.
[12] Crecine, J. (1986). The next generation of personal computers, Science, 231, 4741, 935-943.
[13] Crowley T., Forsdick, H., Landau, M. & Travers, V. (1987). The Diamond multimedia editor. In Proc. Unix Users Conf. (USENIX), 1-17.
[14] Davis, R. (1986). Knowledge-based systems, Science, 231, 4741, 957-963.
[15] Donahue, J. (1985). Integration mechanisms in Cedar, ACM SIGPLAN Notices, 20, 7.
[16] Engeler, E. (1985). Scientific computation: the integration of symbolic, numeric and graphic computation, Lecture Notes in Computer Science, 203, 185-200. New York, NY: Springer-Verlag.
[17] Fateman, R. (1987). TEX output from MACSYMA-like systems. Dept. of Electrical Engineering and Computer Science, Univ. of CA, Berkeley, unpublished manuscript.
[18] Foderaro, J. (1979). Typesetting MACSYMA equations In Proc. MACSYMA Users Conf., ed. V. Ellen Lewis, 345-361. Cambridge, MA: Laboratory for Computer Science, MIT.
[19] Foster, G. (1984). DREAMS: display representation for algebraic manipulation systems, Dept. of Electrical Engineering and Computer Science, Univ. of CA, Berkeley, CSD 84/193.
[20] Genesereth, M. (1977). An automated consultant for MACSYMA, Proc. MACSYMA Users Conf., publication NASA CP-2012, 309-314. Washington DC: National Aeronautics and Space Administration.
[21] Griesmer, J. & Jenks, R. (1971). Scratchpad/I - an interactive facility for symbolic mathematics. In Proc. Second Symp. Symbolic Algebraic Manip. (SIGSAM '71), ed. S. Petrick, 42-58. New York, NY: ACM.
[22] Hearn, A. (1980). The personal algebra machine, Proc. IFIP '80, 620-628. Amsterdam: North-Holland.
[23] Hearn, A. (1982). REDUCE - a case study in algebra system development, Lecture Notes in Computer Science, 144, 263-272. New York, NY: Springer-Verlag.
[24] Jenks, R.D. (1984). A primer: 11 keys to new SCRATCHPAD, Lecture Notes in Computer Science, 174, 123-147. New York, NY: Springer-Verlag.
[25] Katz, A. (1987). Issues in defining an equations representation standard, ACM SIGSAM Bulletin, 21, 2, 19-24.
[26] Knuth, D.E. (1984). The TEXBook, Reading, MA: Addison-Wesley.
[27] Koved L. & Shneidermann B. (1986). Embedded menus: selecting items in context, Comm. ACM, 29, 4, 312-318.
[28] Leong, B. (1986). Iris: design of a user interface program for symbolic algebra. In Proc. Symp. Symbolic and Algebraic Computation, ed. B. Char, 1-6. New York, NY: ACM.
[29] Licklider, J. (1960). Man-computer symbiosis, IRE Trans. on Human Factors in Electronics, HFE-1, 4-11.
[30] Martin, W. (1967). Symbolic Mathematical Laboratory (Ph.D. dissertation), Cambridge, MA: MIT.
[31] Martin, W. & Fateman, R. (1971). The MACSYMA system. In Proc. Second Symp. Symbolic Algebraic Manip. (SIGSAM '71), ed. S. Petrick, 59-75. New York, NY: ACM.
[32] MathSoft Inc. (1987). MathCAD system. Cambridge, MA.
[33] McCarthy, J. (1962). Towards a mathematical theory of computation, Proc. IFIP '62, Amsterdam: North-Holland.
[34] Minsky, M. (1963). MATHSCOPE, part I - a proposal for a mathematical manipulation-display system, Artificial Intelligence Project, Project MAC, MIT, MAC-M-118.
[35] Morris, J. et al. (1986). Andrew: a distributed personal computing environment, Comm. ACM 29, 3, 184-201.
[36] Ng, E. (1979). Symbolic-numeric interface: a review, Lecture Notes in Computer Science, 72, 330-345. New York, NY: Springer-Verlag.
[37] Pier, K., Bier, E. & Stone, M. (1988). Gargoyle: an interactive illustration tool, Proc. EP'88 Int'l Conf. on Electronic Publishing, Document Manipulation, and Typography, Nice, France.
[38] Quint, V. (1983). An interactive system for mathematical text processing, Technology and Science of Informatics, 2, 3, 169-179.
[39] Quint, V. (1984). Interactive editing of mathematics. In Proc. First Intl. Conf. Text Processing Systems, 55-68. Dublin, Ireland: Boole Press.
[40] Schelter, W.F. (1987). INFOR display editor. Department of Mathematics, Univ. of Texas-Austin, unpublished manuscript.
[41] Shneiderman, B. (1983). Direct manipulation: a step beyond programming languages, IEEE Computer, 16, 8, 57-69.
[42] Smith, C. & Soiffer, N. (1986). MathScribe: a user Interface for computer algebra systems. In Proc. Symp. Symbolic and Algebraic Computation, ed. B. Char, 7-12. New York, NY: ACM.
[43] Spirkovska, L. (1986). MUFIE: MACSYMA's user friendly interactive executive, Dept. of Electrical Engineering and Computer Science, Univ. of CA, Berkeley, M.Sc. report.
[44] Sundblad, Y., (1974). Symbolic mathematical systems now and in the future, ACM SIGSAM Bulletin, 8, 3, 1-8.
[45] Suppes, P. et al. (1987). Applications of computer technology to pre-college calculus, first annual report. Inst. for Math. Studies in the Social Sci., Stanford University, Psych. and Ed. Series TR #310.
[46] Swinehart, D., Zellweger, P., Beach, R. & Hagmann, R. (1986). A structural view of the Cedar programming environment, ACM Trans. Prog. Lang. Systems, 8, 4, 419-490.
[47] Wactlar, H. & Barnett, M. (1964). Mechanization of tedious algebra — the e coefficients of theoretical chemistry, Comm. ACM, 7, 12, 704-710.
[48] Wolfram, S. (1985). Symbolic mathematical computation, Comm. ACM, 28, 4, 390-394.
[49] Xerox Corp. (1986). Character code standard. Xerox System Integration Standard XSIS 058605.
[50] Xerox Corp. (1986). Viewpoint Document Editor: Viewpoint Series Reference Library Version 1.1. El Segundo, CA.
[51] Zellweger, P., Terry, D. & Swinehart, D. (1988). An overview of the Etherphone system and its applications, Proc. 2nd IEEE Conf. on Computer Workstations, Santa Clara, CA.
[52] Zellweger, P. (1988). Active paths through multimedia documents, Proc. EP'88 Int'l Conf. on Electronic Publishing, Document Manipulation, and Typography, Nice, France.