99 research outputs found

    Context in interactive mathematical documents : personalizing mathematics

    Get PDF

    An Interactive Viewer for Mathematical Content Based On Type Theory

    Get PDF
    Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

    An interactive viewer for mathematical content based on type theory

    Get PDF

    Integrated semantic math I/O in ActiveMath: an evaluation

    Get PDF
    The ActiveMath system is a web-based learning environment that integrates static mathematical content and interactive exercises with evaluated mathematical input from learners. Mathematical formulæ in ActiveMath are encoded in OpenMath and presented with regional notations. Users can input formulæ using the same notations via a formula editor or using plain-text input. Input to the editor is assisted by allowing users to copy formulæ from other parts of ActiveMath. In this paper we will describe how all these components are integrated and work within the system. We will then discuss recent evaluations of the formulæ input methods run within the LeActiveMath project in Malaga and Edinburgh. The results indicate that, even though the assisted input methods provided by the Formula Editor and copy-andpaste are appreciated by users the most popular input method remains the plain text input fields. Proposals are made for how direct input of text can be facilitated and assisted in future formulæ input systems
    corecore