3 <!DOCTYPE work-package SYSTEM "work-package.dtd">
5 <work-package number="4">
6 <name>Interfaces</name>
9 <person-month participant="bologna" number="16"/>
10 <person-month participant="inria" number="16"/>
11 <person-month participant="dfki" number="5"/>
12 <person-month participant="nijmegen" number="4"/>
13 <person-month participant="aei" number="14"/>
14 <person-month participant="trusted-logic" number="0"/>
16 <p>This Work-Package is devoted to the design and the
17 implementation of the interfaces to the library, covering
18 rendering, browsing, searching and retrieving
19 functionalities. Some additional functionalities for
20 authoring purposes (such as computer assisted annotation of
21 proofs) will be also taken into account.</p>
22 <p>Our privileged rendering language will be MathML, which is
23 likely to be rapidly adopted as the main language for
24 representing mathematical notation on the Web.</p>
27 <p>The work is organised in the following tasks:</p>
30 <p>MathML rendering/browsing engines. Our privileged
31 rendering language will be MathML. In order to be able to
32 test the presentational stylesheets,(Task 2.5) we need a
33 MathML compliant browser, that will be developed as a
34 part of the project (starting from a previous
38 <p>Consultation Engine (archiving, searching and retrieving).
39 The task is devoted to the architectural design and
40 implementation of the main functionalities for the
41 consultation and the management of the library.</p>
44 <p>Assisted Annotation. This cover an additional
45 functionality of the interface, aimed to support the user
46 in the process of annotating a proof in natural
50 <p>LaTeX-based authoring tool. A tool supporting automatic
51 generation of Content-MathML from a suitably
52 (macro-)enriched version of LaTeX.</p>
56 <deliverable file="D4.a"/>
57 <deliverable file="D4.b"/>
58 <deliverable file="D4.c"/>
59 <deliverable file="D4.d"/>
60 <deliverable file="D4.e"/>
62 <p>The main milestone is the release of the first MOWGLI
63 prototype, at month 18.</p>