Latex: a document preparation system
Latex: a document preparation system
The design of a user interface for computer algebra systems
The design of a user interface for computer algebra systems
Exploring Java (2nd ed.)
A survey of user interfaces for computer algebra systems
Journal of Symbolic Computation - Special issue graphical user interfaces and protocols
Newton: an interactive environment for exploring mathematics
Journal of Symbolic Computation - Special issue graphical user interfaces and protocols
Coordinating mathematical content and presentation markup in interactive mathematical documents
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
On Canonical Forms and Simplification
Journal of the ACM (JACM)
Diagnosing and correcting student's misconceptions in an educational computer algebra system
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Hi-index | 0.00 |
An interactive mathematics textbook presupposes the existence of a language in which it may be written. We approach the specification of such a language from the point of view of what functions it must perform. Special attention needs to be paid to a clear separation of the roles of the author and the reader. We present examples created with the help of a prototype interactive viewer.