Over the past 10 years mobile learning has grown from a minor research interest to a set of
significant projects in schools, workplaces, museums, cities and rural areas around the …

Computers arechanging the way wethink. Of course, nearly all desk-workers have access to
computers and use them to email their colleagues, search the Web for information and …

Abstract The development of Intelligent Tutoring Systems (ITS) and eLearning systems has
been progressing largely independently over the past several years. Both types of systems …

We present a search engine for mathematical formulae. The MathWebSearch system
harvests the web for content representations (currently MathML and OpenMath) of formulae …

ActiveMath is a web-based intelligent tutoring system for mathematics. This article presents
the technical and pedagogical goals of ActiveMath, its principles of design and architecture …

Abstract Mathematical Knowledge Management (MKM), as a field, has seen tremendous
growth in the last few years. This period was one where many research threads were started …

ActiveMath is a complex web‐based adaptive learning environment with a number of
components and interactive learning tools. The basis for handling semantics of learning …

Automatic course generation is a very important area of research with numerous practical
applications in e-learning. It has been studied since the 1980s within the fields of intelligent …

This article describes how mathematical content items and formulæ are processed,
retrieved, and accessed in ActiveMath. Central to the retrieval and access is a search tool …

This article describes the system ProofWeb developed for teaching logic to undergraduate
computer science students. The system is based on the higher order proof assistant Coq …