Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring

Ager, Tryg; Ravaglia, Raymond; Dooley, Samuel S.

doi:10.1007/978-1-4613-9647-5_26

Cited by 6 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…1 The syntax for a piece of active mathematics corresponds to the usual notion of the recursive structure of the mathematics: how a mathematical object or statement i s composed of operations applied to zero or more arguments. The syntax used to denote an object can be speci ed in the usual way in a formal expression language for recursive structures.…”

Section: Introductionmentioning

confidence: 99%

Coordinating mathematical content and presentation markup in interactive mathematical documents

Dooley

1998

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation

View full text Add to dashboard Cite

This paper presents a method for representing mathematical content and presentation markup in interactive mathematical documents that treats each view of the information on a separate and equal footing. By providing extensible, overridable, default mappings from content to presentation in a w a y that supports e cient mappings back from the presentation to the underlying content, a user interface for an interactive textbook has been implemented where the user interacts with high-quality presentation markup that supports user operations de ned in terms of the mathematical content. In addition, the user interface can be insulated from content-speci c information, while still being enabled to transfer that information to other programs for computation. This method has been employed to embedinteractive mathematical content i n to the IBM techexplorer 11 Interactive Textbook for Linear Algebra. The issues involved in the implementation of the interactive textbook also shed some light on the problems faced by the MathML working group 6 in representing both presentation and content for mathematics for interactive w eb documents.

show abstract

Section: Introductionmentioning

confidence: 99%