Computer - Human Interaction in Symbolic Computation

1. Front Matter

   Pages i-xi

   PDF

2. Introduction

   • Norbert Kajler

   Pages 1-5

3. The ACELA project: aims and plans

   • Arjeh M. Cohen, Lambert Meertens

   Pages 7-23

4. Active structured documents as user interfaces

   • Vincent Quint, Irène Vatton, Jean Paoli

   Pages 25-41

5. Direct manipulation in a mathematics user interface

   • Ron Avitzur

   Pages 43-60

6. Successful pedagogical applications of symbolic computation

   • Raymond Ravaglia, Theodore Alper, Marianna Rozenfeld, Patrick Suppes

   Pages 61-88

7. Algorithm animation with Agat

   • Olivier Arsac, Stéphane Dalmas, Marc Gaëtano

   Pages 89-115

8. Hypermedia learning environment for mathematical sciences

   • Seppo Pohjolainen, Jari Multisilta, Kostadin Antchev

   Pages 117-139

9. Chains of recurrences for functions of two variables and their application to surface plotting

   • Olaf Bachmann

   Pages 141-161

10. Design principles of Mathpert: software to support education in algebra and calculus

    • Michael Beeson

    Pages 163-177

11. Computation and images in combinatorics

    • Maylis Delest, Jean-Marc Fédou, Guy Melançon, Nadine Rouillon

    Pages 179-208

12. Erratum to: Design principles of Mathpert: software to support education in algebra and calculus

    • Olivier Arsac, Stéphane Dalmas, Marc Gaëtano

    Pages 209-209

13. Erratum to: Algorithm animation with Agat

    • Michael Beeson

    Pages 209-209

14. Back Matter

    Pages 209-216

    PDF

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.

• Design
• Hypermedia
• Interaction
• Interface
• Mathematica
• User Interfaces
• algorithms
• animation
• calculus
• combinatorics
• computer
• interfaces
• software
• user interface
• visualization

• Centre de Calcul Ecole des Mines de Paris, Paris, France

  N. Kajler

Policies and ethics