Computer - Human Interaction in Symbolic Computation

Computer - Human Interaction in Symbolic Computation
Author :
Publisher : Springer Science & Business Media
Total Pages : 222
Release :
ISBN-10 : 9783709164617
ISBN-13 : 3709164613
Rating : 4/5 (613 Downloads)

Book Synopsis Computer - Human Interaction in Symbolic Computation by : Norbert Kajler

Download or read book Computer - Human Interaction in Symbolic Computation written by Norbert Kajler and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 222 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Computer - Human Interaction in Symbolic Computation Related Books

Computer - Human Interaction in Symbolic Computation
Language: en
Pages: 222
Authors: Norbert Kajler
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 edito
Symbolic Computation and Education
Language: en
Pages: 256
Authors: Shangzhi Li
Categories: Computers
Type: BOOK - Published: 2007 - Publisher: World Scientific

DOWNLOAD EBOOK

Geosciences particularly numerical weather predication, are demanding the highest levels of computer power available. The European Centre for Medium-Range Weath
Computational Science - ICCS 2006
Language: en
Pages: 1173
Authors: Vassil N. Alexandrov
Categories: Computers
Type: BOOK - Published: 2006-05-10 - Publisher: Springer

DOWNLOAD EBOOK

This is Volume I of the four-volume set LNCS 3991-3994 constituting the refereed proceedings of the 6th International Conference on Computational Science, ICCS
Algebra, Geometry and Software Systems
Language: en
Pages: 332
Authors: Michael Joswig
Categories: Mathematics
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A collection of surveys and research papers on mathematical software and algorithms. The common thread is that the field of mathematical applications lies on th
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Language: en
Pages: 355
Authors: Jacques Calmet
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Sy