Borrow it
 Architecture Library
 Bizzell Memorial Library
 Boorstin Collection
 Chinese Literature Translation Archive
 Engineering Library
 Fine Arts Library
 Harry W. Bass Business History Collection
 History of Science Collections
 John and Mary Nichols Rare Books and Special Collections
 Library Service Center
 Price College Digital Library
 Western History Collections
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)
Resource Information
The item Computer  Human Interaction in Symbolic Computation, edited by Norbert Kajler, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.This item is available to borrow from all library branches.
Resource Information
The item Computer  Human Interaction in Symbolic Computation, edited by Norbert Kajler, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.
This item is available to borrow from all library branches.
 Summary
 The well attended March 1994 HIse workshop in Amsterdam was a very lively con ference which stimulated much discussion and humanhuman interaction. As the editor of this volume points out, the Amsterdam meeting was just part of a yearlong 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 semesterlong coursework and booklength 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
 Language

 eng
 eng
 Edition
 1st ed. 1998.
 Extent
 1 online resource (XI, 212 p.)
 Note
 Bibliographic Level Mode of Issuance: Monograph
 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
 Isbn
 9783709164617
 Label
 Computer  Human Interaction in Symbolic Computation
 Title
 Computer  Human Interaction in Symbolic Computation
 Statement of responsibility
 edited by Norbert Kajler
 Language

 eng
 eng
 Summary
 The well attended March 1994 HIse workshop in Amsterdam was a very lively con ference which stimulated much discussion and humanhuman interaction. As the editor of this volume points out, the Amsterdam meeting was just part of a yearlong 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 semesterlong coursework and booklength 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
 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)
 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/9783709164617
 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
 (DEHe213)9783709164617
 (MiAaPQ)EBC3099414
 (EXLCZ)993400000000110664
 Label
 Computer  Human Interaction in Symbolic Computation, edited by Norbert Kajler, (electronic resource)
 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/9783709164617
 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
 (DEHe213)9783709164617
 (MiAaPQ)EBC3099414
 (EXLCZ)993400000000110664
Library Locations

Architecture LibraryBorrow itGould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US35.205706 97.445050



Chinese Literature Translation ArchiveBorrow it401 W. Brooks St., RM 414, Norman, OK, 73019, US35.207487 97.447906

Engineering LibraryBorrow itFelgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US35.205706 97.445050

Fine Arts LibraryBorrow itCatlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US35.210371 97.448244

Harry W. Bass Business History CollectionBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

History of Science CollectionsBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

John and Mary Nichols Rare Books and Special CollectionsBorrow it401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US35.207487 97.447906


Price College Digital LibraryBorrow itAdams Hall 102 307 West Brooks St., Norman, OK, 73019, US35.210371 97.448244

Western History CollectionsBorrow itMonnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US35.209584 97.445414
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/ComputerHumanInteractioninSymbolic/Wv0Vig5SlWg/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/ComputerHumanInteractioninSymbolic/Wv0Vig5SlWg/">Computer  Human Interaction in Symbolic Computation, edited by Norbert Kajler, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Computer  Human Interaction in Symbolic Computation, edited by Norbert Kajler, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/ComputerHumanInteractioninSymbolic/Wv0Vig5SlWg/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/ComputerHumanInteractioninSymbolic/Wv0Vig5SlWg/">Computer  Human Interaction in Symbolic Computation, edited by Norbert Kajler, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>