Computer-Human Interaction in Symbolic Computation

  • N. Kajler

Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Norbert Kajler
    Pages 1-5
  3. Arjeh M. Cohen, Lambert Meertens
    Pages 7-23
  4. Vincent Quint, Irène Vatton, Jean Paoli
    Pages 25-41
  5. Raymond Ravaglia, Theodore Alper, Marianna Rozenfeld, Patrick Suppes
    Pages 61-88
  6. Olivier Arsac, Stéphane Dalmas, Marc Gaëtano
    Pages 89-115
  7. Seppo Pohjolainen, Jari Multisilta, Kostadin Antchev
    Pages 117-139
  8. Maylis Delest, Jean-Marc Fédou, Guy Melançon, Nadine Rouillon
    Pages 179-208
  9. Michael Beeson
    Pages 209-209
  10. Back Matter
    Pages 209-216

About this book


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

Editors and affiliations

  • N. Kajler
    • 1
  1. 1.Centre de Calcul Ecole des Mines de ParisParisFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag/Wien 1998
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-211-82843-4
  • Online ISBN 978-3-7091-6461-7
  • Series Print ISSN 0943-853X
  • Buy this book on publisher's site
Industry Sectors