Synopses & Reviews
There are many problems which current user interfaces either do not handle well or do not address at all. The contributions to this volume concentrate on three main areas: interactive books, computer-aided instruction, and visualization. They range from a description of a framework for authoring and browsing mathematical books and of a tool for the direct manipulation of equations and graphs to the presentation of new techniques, such as the use of chains of recurrences for expediting the visualization of mathematical functions. Students, researchers, and developers involved in the design and implementation of scientific software will be able to draw upon the presented research material here to create ever-more powerful and user-friendly applications.
Synopsis
The well attended March 1994 HIse workshop in Amsterdam was a very lively con- ference which stimulated much discussion and human-human interaction. As the editor of this volume points out, the Amsterdam meeting was just part of a year-long project that brought many people together from many parts of the world. The value of the effort was not only in generating new ideas, but in making people aware of work that has gone on on many fronts in using computers to make mathematics more understandable. The author was very glad he attended the workshop. * In thinking back over the conference and in reading the papers in this collection, the author feels there are perhaps four major conclusions to be drawn from the current state of work: 1. graphics is very important, but such features should be made as easy to use as possible; 2. symbolic mathematical computation is very powerful, but the user must be able to see "intermediate steps"; 3. system design has made much progress, but for semester-long coursework and book-length productions we need more tools to help composition and navigation; 4. monolithic systems are perhaps not the best direction for the future, as different users have different needs and may have to link together many kinds of tools. The editor of this volume and the authors of the papers presented here have also reached and documented similar conclusions.
Table of Contents
Cohen, A.M., Meertens, L.: The ACELA project: aims and plans. - Quint, V., Vatton, I., Paoli, J.: Active structured documents as user interfaces. - Avitzur, R.: Direct manipulation in a mathematics user interface. - Ravaglia, R., Alper, T., Rozenfeld, M., Suppes, P.: Successful pedagogical applications of symbolic computation. - Beeson, M.: Design principles of Mathpert: software to support education in algebra and calculus. - Pohjolainen, S., Multisilta, J., Antchev, K.: Hypermedia learning environment for mathematical sciences. - Bachmann, O.: Chains of recurrences for functions of two variables and their application to surface plotting. - Arsac, O., Dalmas, S., Gaetano, M.: Algorithm animation with Agat. - Delest, M., Fédou, J.-M., Melancon, G., Rouillon, N.: Computation and images in combinatorics.