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 <name>MathML rendering/browsing engines.</name>
32 rendering language will be MathML. In order to be able to
33 test the presentational stylesheets,(Task 2.5) we need a
34 MathML compliant browser, that will be developed as a
35 part of the project (starting from a previous
39 <name>Consultation Engine (archiving, searching and retrieving).</name>
40 <p>The task is devoted to the architectural design and
41 implementation of the main functionalities for the
42 consultation and the management of the library.</p>
45 <name>Assisted Annotation.</name>
46 <p>This cover an additional
47 functionality of the interface, aimed to support the user
48 in the process of annotating a proof in natural
52 <name>LaTeX-based authoring tool.</name>
53 <p>A tool supporting automatic
54 generation of Content-MathML from a suitably
55 (macro-)enriched version of LaTeX.</p>
59 <deliverable file="interfaces/d4a"/>
60 <deliverable file="interfaces/d4b"/>
61 <deliverable file="interfaces/d4c"/>
62 <deliverable file="interfaces/d4d"/>
63 <deliverable file="interfaces/d4e"/>
65 <p>The main milestone is the release of the first MOWGLI
66 prototype, at month 18.</p>