The Resource Computer - Human Interaction in Symbolic Computation, edited by Norbert Kajler, (electronic resource)

Computer - Human Interaction in Symbolic Computation, edited by Norbert Kajler, (electronic resource)

Label
Computer - Human Interaction in Symbolic Computation
Title
Computer - Human Interaction in Symbolic Computation
Statement of responsibility
edited by Norbert Kajler
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Summary
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
Member of
Dewey number
005/.01/9
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
enVV1Ux_qQI
Image bit depth
0
Language note
English
LC call number
QA76.9.M35
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Kajler, Norbert.
Series statement
Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,
http://library.link/vocab/subjectName
  • Computer science
  • Computer graphics
  • Algebra
  • Software engineering
  • Combinatorics
  • Algorithms
  • Math Applications in Computer Science
  • Computer Graphics
  • Symbolic and Algebraic Manipulation
  • Software Engineering
  • Combinatorics
  • Algorithms
Label
Computer - Human Interaction in Symbolic Computation, edited by Norbert Kajler, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references at the end of each chapters and index
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
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 mathematical hypermedia -- 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
Dimensions
unknown
Edition
1st ed. 1998.
Extent
1 online resource (XI, 212 p.)
File format
multiple file formats
Form of item
online
Isbn
9783709164617
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/978-3-7091-6461-7
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)3400000000110664
  • (SSID)ssj0000805629
  • (PQKBManifestationID)11487226
  • (PQKBTitleCode)TC0000805629
  • (PQKBWorkID)10837082
  • (PQKB)10775261
  • (DE-He213)978-3-7091-6461-7
  • (MiAaPQ)EBC3099414
  • (EXLCZ)993400000000110664
Label
Computer - Human Interaction in Symbolic Computation, edited by Norbert Kajler, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references at the end of each chapters and index
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
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 mathematical hypermedia -- 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
Dimensions
unknown
Edition
1st ed. 1998.
Extent
1 online resource (XI, 212 p.)
File format
multiple file formats
Form of item
online
Isbn
9783709164617
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/978-3-7091-6461-7
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)3400000000110664
  • (SSID)ssj0000805629
  • (PQKBManifestationID)11487226
  • (PQKBTitleCode)TC0000805629
  • (PQKBWorkID)10837082
  • (PQKB)10775261
  • (DE-He213)978-3-7091-6461-7
  • (MiAaPQ)EBC3099414
  • (EXLCZ)993400000000110664

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...