The work is organised in the following tasks:
MathML rendering/browsing engines. Our privileged
+ Our privileged
rendering language will be MathML. In order to be able to
test the presentational stylesheets,(Task 2.5) we need a
MathML compliant browser, that will be developed as a
part of the project (starting from a previous
prototype). Consultation Engine (archiving, searching and retrieving).
- The task is devoted to the architectural design and
+ The task is devoted to the architectural design and
implementation of the main functionalities for the
consultation and the management of the library. Assisted Annotation. This cover an additional
+ This cover an additional
functionality of the interface, aimed to support the user
in the process of annotating a proof in natural
language. LaTeX-based authoring tool. A tool supporting automatic
+ A tool supporting automatic
generation of Content-MathML from a suitably
(macro-)enriched version of LaTeX.
The main milestone is the release of the first MOWGLI prototype, at month 18.