Overview

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.

Full Product Details

Author:   Norbert Kajler ,  D.S. Scott
Publisher:   Springer Verlag GmbH
Imprint:   Springer Verlag GmbH
Edition:   Softcover reprint of the original 1st ed. 1998
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.50cm
Weight:   0.454kg
ISBN:  

9783211828434

ISBN 10:   3211828435
Pages:   212
Publication Date:   10 June 1998
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

The ACELA project: aims and plans.- 1 Introduction.- 2 Interactive books.- 3 Interactive mathematical books.- 4 Architecture.- 5 The content of the book.- 6 Related work.- 7 Conclusion.- References.- Active structured documents as user interfaces.- 1 Introduction.- 2 Limitations of graphical user interface toolkits.- 3 Active and structured documents.- 4 The Grif editing toolkit.- 5 Applications based on active structured documents.- 6 Related work.- 7 Conclusion.- References.- Direct manipulation in a mathematics user interface.- 1 Introduction.- 2 Previous work.- 3 Design overview.- 4 Overview of static interface elements.- 5 Direct manipulation.- 6 Usability.- 7 Interval arithmetic.- 8 Implementation details.- 9 Directions for future work.- 10 Conclusion.- References.- Successful pedagogical applications of symbolic computation.- 1 Introduction.- 2 Symbolic computation and pedagogy.- 3 The EPGY course software.- 4 User interface and design issues.- 5 Logical structure of a derivation.- 6 Two examples.- 7 What is gained.- 8 Limitations and desiderata.- 9 Final remarks.- References.- Design principles of Mathpert: software to support education in algebra and calculus.- 1 Introduction.- 2 Purposes of software for mathematics education.- 3 Design principles.- 4 Cognitive fidelity and glass box in Mathpert: operations and pedagogy.- 5 Customizing the solution in Mathpert.- 6 The correctness principle in Mathpert.- 7 Using the computer’s power when the user is stuck.- 8 Traditional interface issues: ease of use.- 9 Interfaces and pedagogy.- 10 Use and availability of Mathpert.- References.- Hypermedia learning environment for mathematical sciences.- 1 Introduction.- 2 Related work in the field.- 3 Components of mathematical hypermedia.- 4 Designing mathematicalhypermedia.- 5 Structure of the hypermedia database.- 6 Learning interface.- 7 Conclusion and research topics.- References.- Chains of recurrences for functions of two variables and their application to surface plotting.- 1 Introduction.- 2 Chains of recurrences for functions of one variable.- 3 Chains of recurrences for functions of two variables.- 4 A Maxima/IZIC implementation.- 5 Conclusions and future work.- 6 Availability.- References.- Algorithm animation with Agat.- 1 Introduction.- 2 Overview of Agat.- 3 Using Agat.- 4 The Agat language.- 5 The graphical features of Agat.- 6 Some applications of Agat.- 7 Implementation.- 8 Conclusion.- References.- Computation Computation and images in combinatorics.- 1 Introduction.- 2 Overview of CalICo.- 3 The use of CalICO as illustrated by examples.- 4 The tutor.- 5 Formal coding and symbolic computation.- 6 Graphical workshops and graphical interfaces.- 7 Communication manager.- 8 Availability and implementation.- 9 Conclusion.- References.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions