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