,, _-_ _ - _ . . . Trip Report ........ Human Interaction for Symbolic Computation RIACAWorkshop,Amsterdam,March 10-11, 1994 Andr Heck The Research Institute for Applications of Computer Algebra (RIACA), in Amsterdam, The Netherlands, has as its goal the research of applications of computer algebra in the fields of mathematics and sciences, engineering, etc. It aims to be an institute with a strong international visibility. To structure the activities of the Institute one special central theme is emphasized per semester (occasionally per quarter). Around these special themes scientific and more product-oriented projects will be formulated. For 1994, the main themes are human interfaces, algebra, and geometrical optics. As a part of the human interface theme, RIACA organized on March 10-11, 1994, an international workshop entitled Human InteractionJ~r Symbolic Computation (HISC). The main goal of the workshop was to investigate new paradigms to improve human interaction with symbolic computation software. Clearly, user interfaces for computer algebra systems have already improved a lot as the most advanced front-ends allow, for instance, mixing text, graphics, and formulas, shrinking paragraphs, browsing the on-line manual using hypertext mechanisms, and so on. Interaction with theorem provers has been improved, too. However, many problems are
/lp/association-for-computing-machinery/human-interaction-for-symbolic-computation-riaca-workshop-amsterdam-ol52MxbzvI