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 …

The paper describes the general philosophy and the main architectural and technological
solutions adopted in the HELM Project for the management of large repositories of …

ACTIVEMATH is an open web-based learning environment for mathematics. It dynamically
generates interactive mathematical courses adapted to the student's goals, preferences …

This article describes an architecture for creating responsive web interfaces for proof
assistants. The architecture combines current web development technologies with the …

Abstract This paper introduces Proof General Kit, a framework for software components
tailored to interactive proof development. The goal of the framework is to enable flexible …

This paper presents a new framework for adding semantics into e-learning system. The
proposed approach relies on two principles. The first principle is the automatic addition of …

Enseigner les mathématiques aux élèves de lycée en utilisant la démonstration assistée par
ordinateur devient un objectif accessible dans un futur proche. Nous présentons dans cet …

We present a new framework for the online development of formalized mathematics. This
framework allows wiki-style collaboration while providing users with a rendered and …

Automated knowledge management techniques critically depend on the availability of
semantically enhanced documents which are hard to come by in practice. Starting from a …

Methods for computerised mathematics have found little appeal among mathematicians
because they call for additional skills which are not available to the typical mathematician …