Abstract
The goal of the project Human Interaction in Symbolic Computing (HISC) which took place in 1994–1995 at the Research Institute for Applications of Computer Algebra (RIACA) in Amsterdam was to investigate a variety of techniques and paradigms which could lead to better user interfaces to symbolic-computation systems (current and future).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arnon, D. (1987): Report of the Workshop on Environments for Computational Mathematics, held July 30, 1987, during the ACM SIGGRAPH Conference. ACM SIGSAM Bull. 21/4: 42–48.
Arnon, D., Beach, R., McIsaac, K., Waldspurger, C. (1988): CaminoReal: an interactive mathematical notebook. In: van Vliet, J. C. (ed.): Proceedings of EP’ 88 International Conference on Electronic Publishing, Document Manipulation, and Typography. Cambridge University Press, Cambridge, pp. 1–18.
Avitzur, R. (1988): Milo (a Macintosh computer program). Paracomp Inc. San Francisco.
Avitzur, R., Bachmann, O., Kajler, N. (1995): From honest to intelligent plotting. In: Levelt, A. H. M. (ed.): Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISS AC’ 95), Montreal, Canada. Association for Computing Machinery, New York, pp. 32–41.
Bonadio, A. (1989): Theorist (a computer program). Prescience Corp., San Francisco.
Doleh, Y., Wang, P. S. (1990): SUI: a system independent user interface for an integrated scientific computing environment. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC’ 90), Tokyo, Japan. Addison-Wesley, Reading, MA, pp. 88–94.
Foster, G. (1984): User interface considerations for algebraic manipulation systems. Techn. Rep. UCB/CSD-84-192, University of California, Berkeley, CA
Fournier, R., Kajler, N., Mourrain, B. (1995): Visualization of mathematical surfaces: the IZIC server approach. J. Symb. Comput. 19: 159–173.
Gray, S., Kajler, N., Wang, P. S. (1994): MP: a protocol for efficient exchange of mathematical expressions. In: Giesbrecht, M. (ed.): Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC’ 94), Oxford, U.K. Association for Computing Machinery, New York, pp. 330–335.
Kajler, N. (1992, July): CAS/PI: a portable and extensible interface for computer algebra systems. In: Wang, P. S. (ed.): Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC’ 92), Berkeley, U.S.A. Association for Computing Machinery, New York, pp. 376–386.
Kajler, N. (1993): Environnement graphique distribué pour le calcul formel. Thèse, Université de Nice-Sophia Antipolis, Ecole Doctorale SPI, Sophia Antipolis, France.
Kajler, N. (1995): The HISC project at RIACA. CAN Newslett. 14: 9–14.
Kajler, N., Soiffer, N. (1998): A survey of user interfaces for computer algebra systems. J. Symb. Comput. (to appear).
Katz, A. (1987): Issues in defining an equations representation standard. ACM SIGSAM Bull. May: 19–24.
Minsky, M. L. (1963): MATHSCOPE: part I — a proposal for a mathematical manipulation-display system. Techn. Rep. MAC-M-118, Artificial Intelligence Project, Project MAC, MIT, Cambridge, MA.
Purtilo, J. (1985): Polylith: an environment to support management of tool interfaces. In: Proceedings of the ACM SIGPLAN Symposium on Language Issues in Programming Environments. Association for Computing Machinery, New York, pp. 12–18.
Smith, C., Soiffer, N. (1986): MathScribe: a user interface for computer algebra systems. In: Char, B. (ed.): Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation (SYMSAC’ 86), Waterloo, Canada. Association for Computing Machinery, New York, pp. 7–12.
Soiffer, N. (1995): Mathematical typesetting in Mathematica. In: Levelt, A. H. M. (ed.): Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC’ 95), Montreal, Canada. Association for Computing Machinery, New York, pp. 140–149.
Soiffer, N. M. (1991 ): The design of a user interface for computer algebra systems. Ph.D. thesis, University of California, Berkeley, CA.
Wells, M. B., Morris, J. B. (eds.) (1972): Proceedings of a Symposium on Two-Dimensional Man-Machine Communication. ACM SIGPLAN Notices 7.
Young, D. A., Wang, P. S. (1987): GI/S: a graphical user interface for symbolic computation systems. J. Symb. Comput. 4: 365–380.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Wien
About this chapter
Cite this chapter
Kajler, N. (1998). Introduction. In: Kajler, N. (eds) Computer-Human Interaction in Symbolic Computation. Texts and Monographs in Symbolic Computation. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6461-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6461-7_1
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82843-4
Online ISBN: 978-3-7091-6461-7
eBook Packages: Springer Book Archive