Active structured documents as user interfaces

Mathematicians manipulate complex abstract objects and expect some help from the computer in this task. A number of systems have been developed for that purpose. The early developments focused on methods and algorithms for numerical and symbolic computations, without paying too much attention to the user interface of systems using these algorithms. Other tools have been developed for helping computer users to prepare mathematical documents. This trend is illustrated by the famous TEX system (Knuth 1984) that most mathematicians use nowadays. Here again, the emphasis was put on the algorithms and on the quality of the result, but the language provided to the user is not very user-friendly, although very powerful.

[1]  Richard J. Beach,et al.  CaminoReal: an interactive mathematical notebook , 1988 .

[2]  Jean Paoli Cooperative Work on the Network: Edit the WWW! , 1995, Comput. Networks ISDN Syst..

[3]  C Rose,et al.  Inside Macintosh , 1985 .

[4]  V. Quint,et al.  Text processing and document manipulation: Grif: An Interactive System for Structured Document Manipulation , 1986 .

[5]  Jim Welsh,et al.  Software Documents: Concepts and Tools , 1994, Softw. Concepts Tools.

[6]  Christine Collet,et al.  Integrated Tools for Object Oriented Persistent Application Development , 1992, DEXA.

[7]  Douglas B. Terry,et al.  Active Tioga Documents: an Exploration of Two Paradigms , 1990, Electron. Publ..

[8]  Vincent Quint,et al.  Structured documents , 1989 .

[9]  Vincent Quint,et al.  A Structured Authoring Environment for the World-Wide Web , 1995, Comput. Networks ISDN Syst..

[10]  Eric A. Bier,et al.  Documents as user interfaces , 1991, CHI '91.

[11]  Vincent Quint,et al.  Making Structured Documents Active , 1994, Electron. Publ..

[12]  Vincent Quint,et al.  An Abstract Model for Interactive Pictures , 1987 .

[13]  Irène Vatton,et al.  Dynamic Optical Scaling and Variable-Sized Characters , 1994, Electron. Publ..

[14]  Donald E. Knuth,et al.  The TeXbook , 1984 .

[15]  Norbert Kajler,et al.  CAS/PI: a portable and extensible interface for computer algebra systems , 1992, ISSAC '92.

[16]  Vincent Quint,et al.  Interactively Editing Structured Documents , 1989, Electron. Publ..